[logseq-plugin-git:commit] 2026-01-21T12:30:11.812Z

2026-01-21 13:30:12 +01:00
parent 3b58e53503
commit e94b7f7f9d
7 changed files with 309 additions and 275 deletions
@@ -133,4 +133,20 @@
  todoist-id:: [6fVGR9pwQP92rGj8](https://todoist.com/showTask?id=6fVGR9pwQP92rGj8)
  todoist-project:: #🚀 Projects
  todoist-due:: 2026-01-24
+  todoist-status:: ◼️
+- [[2026-01-24]] R: Update esperimento
+  todoist-id:: [6fhrXjjRcmR6HRc8](https://todoist.com/showTask?id=6fhrXjjRcmR6HRc8)
+  todoist-project:: #✏️ PAPERS
+  todoist-due:: 2026-01-24
+  todoist-desc:: From: juri.dirocco@univaq.it Received: 2026-01-08T16:55:29Z ✉: [Web Link](https://outlook.office365.com/owa/?ItemID=AAMkADM1NGNiNjk0LTY0ZGUtNDgzOC04MDM5LWNhODNkYWNjNjU4YwBGAAAAAACT6qp78kRgRKuUMBdWEga%2FBwCOhWlC8F7PRKzlljZYZYQmAAAAAAEMAACOhWlC8F7PRKzlljZYZYQmAAiVbuSJAAA%3D&exvsurl=1&viewmodel=ReadMessageItem) --- --- Ciao a tutti, Ecco come avevo pensato di dividere i compiti: * Introduction: Daniela, Davide, Leonardo * Motivation (and motivating example): Diego, Maria Teresa, Daniela , Davide e Leonardo, * Approach: Juri e Claudio * Evaluation: Ju
+  todoist-status:: ◼️
+- [[2026-01-24]] Pensare alla questione gestione Reference Group 2.2
+  todoist-id:: [6fhqXvj7Mj8hXmM9](https://todoist.com/showTask?id=6fhqXvj7Mj8hXmM9)
+  todoist-project:: #🎓 Services-PHDICT
+  todoist-due:: 2026-01-24
+  todoist-status:: ◼️
+- [[2026-01-24]] [Hi Prof, I just wanted to follow up on our conversation from the other day. As I mentioned, I will be doing my master’s thesis on the topic of AI-assisted test generation for SoC IP verification at Nordic Semiconductor in Finland. The research will explore how large language models can be used to automate hardware test development and improve verification efficiency. Since I need to arrange the academic supervision soon, I wanted to ask if you might be interested in this topic or if you could recommend someone from your network who would be a good fit. Specifically, the work will include:A literature study on generative AI models applied to hardware verification.Designing and implementing an AI-assisted test generation approach for SoC IP verification.A comparative analysis of AI-generated tests versus manually written tests in terms of coverage and bug detection.Thank you.](https://teams.microsoft.com/l/message/19:aadac0a6-621d-4199-a39c-6e553bf738c9_c2787b22-cc39-410e-a383-56cbdb9b69c9@unq.gbl.spaces/1768550468051?context=%7B%22contextType%22:%22chat%22%7D)
+  todoist-id:: [6fmfGcJJwqVjq728](https://todoist.com/showTask?id=6fmfGcJJwqVjq728)
+  todoist-project:: #👨‍🏫 Teaching
+  todoist-due:: 2026-01-24
  todoist-status:: ◼️