Final grades | |
|
Dear students, We hope you and your families are safe. Final grades are available in the GR system. The final grade was calculated by averaging the four best homework assignments. If you have any questions, please contact Omer by email. Course staff |
| פורסם ב-9/10/2023, 09:41:14 Created on 9/10/2023, 09:41:14 Создано9/10/2023, 09:41:14 تم النشر ب-9/10/2023, 09:41:14 |
HW5 grades | |
|
The grades and feedback for the fifth assignment are available in the GR system. To view the comments, you should open the returned file in Adobe Acrobat Reader. All appeals must be sent by email to Omer no later than Thursday, 05.10, 23:55. Regards, Course staff |
| פורסם ב-27/9/2023, 17:56:15 Created on 27/9/2023, 17:56:15 Создано27/9/2023, 17:56:15 تم النشر ب-27/9/2023, 17:56:15 |
HW4 grades | |
|
The grades and feedback for the fourth assignment are available in the GR system. To view the comments, you should open the returned file in Adobe Acrobat Reader. All appeals must be sent by email to Omer no later than Thursday, 28.09, 23:55. Regards, Course staff |
| פורסם ב-20/9/2023, 11:57:42 Created on 20/9/2023, 11:57:42 Создано20/9/2023, 11:57:42 تم النشر ب-20/9/2023, 11:57:42 |
HW3 grades | |
|
The grades and feedback for the third assignment are available in the GR system. To view the comments, you should open the returned file in Adobe Acrobat Reader. All appeals must be sent by email to Omer no later than Monday, 28.08, 23:55. Regards, Course staff |
| פורסם ב-21/8/2023, 14:07:54 Created on 21/8/2023, 14:07:54 Создано21/8/2023, 14:07:54 تم النشر ب-21/8/2023, 14:07:54 |
HW2 grades | |
|
The grades and feedback for the second assignment are available in the GR system. To view the comments, you should open the returned file in Adobe Acrobat Reader. All appeals must be sent by email to Omer no later than Sunday, 30.07, 23:55. Regards, Course staff |
| פורסם ב-23/7/2023, 10:27:31 Created on 23/7/2023, 10:27:31 Создано23/7/2023, 10:27:31 تم النشر ب-23/7/2023, 10:27:31 |
HW5 update | |
|
Please note that the comment in question 4 has been updated. Regards, Course staff |
| עדכון אחרון ב-17/7/2023, 11:55:54 Last updated on 17/7/2023, 11:55:54 Последняя модификация17/7/2023, 11:55:54 تمت الحتلنة الأخيرة ب-17/7/2023, 11:55:54 |
HW5 | |
|
HW5 has been published. Due date: 13.08, 23:55. Instructions: - Submissions are in pairs. - Submissions must be typed. All formats are acceptable (latex, word, etc.). - Late submissions: it is possible to submit your assignment up to three days after the deadline (via email). The penalty for each additional day is 10 points. Good luck! Course staff |
| פורסם ב-4/7/2023, 18:13:30 Created on 4/7/2023, 18:13:30 Создано4/7/2023, 18:13:30 تم النشر ب-4/7/2023, 18:13:30 |
HW4 deadline extension | |
|
Hi all, Due to the end-of-semester workload, we have decided to postpone the deadline for HW4 until Thursday (06.07). Good luck, Course staff |
| עדכון אחרון ב-3/7/2023, 15:02:56 Last updated on 3/7/2023, 15:02:56 Последняя модификация3/7/2023, 15:02:56 تمت الحتلنة الأخيرة ب-3/7/2023, 15:02:56 |
HW4 | |
|
HW4 has been published. Due date: 03.07, 23:55. Instructions: - Submissions are in pairs. - Submissions must be typed. All formats are acceptable (latex, word, etc.). - Late submissions: it is possible to submit your assignment up to three days after the deadline (via email). The penalty for each additional day is 10 points. Good luck! Course staff |
| עדכון אחרון ב-7/6/2023, 18:25:36 Last updated on 7/6/2023, 18:25:36 Последняя модификация7/6/2023, 18:25:36 تمت الحتلنة الأخيرة ب-7/6/2023, 18:25:36 |
Class tomorrow | |
|
Hi all, The strike is over, so our class will be held tomorrow (06.06) from 12:30 to 15:30 as usual. We will have a three-hour lecture on Assume-Guarantee. Regards, Course staff |
| פורסם ב-5/6/2023, 12:22:02 Created on 5/6/2023, 12:22:02 Создано5/6/2023, 12:22:02 تم النشر ب-5/6/2023, 12:22:02 |
HW1 grades | |
|
The grades and feedback for the first assignment are available in the GR system. To view the comments, you should open the returned file in Adobe Acrobat Reader. All appeals must be sent by email to Omer no later than Sunday, 11.06, 23:55. Regards, Course staff |
| עדכון אחרון ב-4/6/2023, 13:50:04 Last updated on 4/6/2023, 13:50:04 Последняя модификация4/6/2023, 13:50:04 تمت الحتلنة الأخيرة ب-4/6/2023, 13:50:04 |
Tutorial 5 update | |
|
Hi all, I have uploaded an updated version of tutorial 5 slides (VLTL) that include the examples we discussed in class. Regards, Omer |
| פורסם ב-1/6/2023, 14:49:15 Created on 1/6/2023, 14:49:15 Создано1/6/2023, 14:49:15 تم النشر ب-1/6/2023, 14:49:15 |
AWS verification jobs | |
|
Hi all, Amazon Web Services (AWS) is looking for people for two different verification jobs. 1) Hardware verification. Classical RTL. They've got a junior one, and a senior one. For the senior one they'll consider remote, anywhere. The junior one is in Austin/Texas. 2) Software verification. This is a new group, using CBMC, and it's being built in Haifa. They won't consider remote, but it's in Haifa. They'll also take interns. If you have any questions, please contact Daniel Kroening (udaniel.kroeningatmagd.ox.ac.uk). Regards, Course staff |
| עדכון אחרון ב-31/5/2023, 09:38:32 Last updated on 31/5/2023, 09:38:32 Последняя модификация31/5/2023, 09:38:32 تمت الحتلنة الأخيرة ب-31/5/2023, 09:38:32 |
Tutorial tomorrow | |
|
Hi all, As usual, the tutorial tomorrow (30.05) will take place even if the strike continues. Regards, Course staff |
| פורסם ב-29/5/2023, 11:41:46 Created on 29/5/2023, 11:41:46 Создано29/5/2023, 11:41:46 تم النشر ب-29/5/2023, 11:41:46 |
Tutorial tomorrow | |
|
Hi all, Tomorrow's tutorial (23.05) will be held as usual, even if the lecture is canceled due to the strike. Regards, Course staff |
| פורסם ב-22/5/2023, 14:43:47 Created on 22/5/2023, 14:43:47 Создано22/5/2023, 14:43:47 تم النشر ب-22/5/2023, 14:43:47 |
Validation event hosted by Intel | |
|
Hi all, Intel is hosting an event on how to handle validation challenges using advanced technologies. It will be held next Tuesday (16.05) from 17:30 to 19:00 in Taub 337. You can register here: https://intelcorporationltd.formstack.com/forms/validation_round_tables Regards, Course staff |
| פורסם ב-11/5/2023, 08:47:12 Created on 11/5/2023, 08:47:12 Создано11/5/2023, 08:47:12 تم النشر ب-11/5/2023, 08:47:12 |
HW3 | |
|
HW3 has been published. Due date: 05.06, 23:55. Instructions: - Submissions are in pairs. - Submissions must be typed. All formats are acceptable (latex, word, etc.). - Late submissions: it is possible to submit your assignment up to three days after the deadline (via email). The penalty for each additional day is 10 points. Good luck! Course staff |
| עדכון אחרון ב-11/5/2023, 08:30:55 Last updated on 11/5/2023, 08:30:55 Последняя модификация11/5/2023, 08:30:55 تمت الحتلنة الأخيرة ب-11/5/2023, 08:30:55 |
HW2 | |
|
HW2 has been published. Due date: 10.05, 23:55. Instructions: - Submissions are in pairs. - Submissions must be typed. All formats are acceptable (latex, word, etc.). - Late submissions: it is possible to submit your assignment up to three days after the deadline (via email). The penalty for each additional day is 10 points. Good luck! Course staff |
| פורסם ב-18/4/2023, 20:22:16 Created on 18/4/2023, 20:22:16 Создано18/4/2023, 20:22:16 تم النشر ب-18/4/2023, 20:22:16 |
Complementary class | |
|
There will be a complementary class on Sunday 23.04 from 15:30 to 18:30 in Ulman 102. Happy holidays! Course staff |
| עדכון אחרון ב-4/4/2023, 20:10:25 Last updated on 4/4/2023, 20:10:25 Последняя модификация4/4/2023, 20:10:25 تمت الحتلنة الأخيرة ب-4/4/2023, 20:10:25 |
HW1 | |
|
HW1 has been published. Due date: 17.04, 23:55. Instructions: - Submissions are in pairs. - Submissions must be typed. All formats are acceptable (latex, word, etc.). Good luck! Course staff |
| עדכון אחרון ב-28/3/2023, 20:44:34 Last updated on 28/3/2023, 20:44:34 Последняя модификация28/3/2023, 20:44:34 تمت الحتلنة الأخيرة ب-28/3/2023, 20:44:34 |
Welcome to Automatic Verification of Software and Hardware! (236345) | |
|
Dear students, Welcome to the Automatic Verification of Software and Hardware course! All the information you need appears on the course website at http://webcourse.cs.technion.ac.il/236345 During the semester, be sure to follow the announcements there. The final grade will be determined by 5-7 extended home assignments. Submissions are in pairs. Our office hours can be found under the "Staff" tab. If you wish to attend an office hour, please let us know in advance. Try to fit your schedule around the office hours, or contact us by email to set a meeting on a different time. We will be happy to answer your questions during the semester and assist you with course material. The first lecture and tutorial will take place on Tuesday, 21.03.2023, from 12:30 to 15:30 in Tabu 4. We wish you a fruitful and enjoyable semester! Course staff |
| עדכון אחרון ב-15/3/2023, 14:40:51 Last updated on 15/3/2023, 14:40:51 Последняя модификация15/3/2023, 14:40:51 تمت الحتلنة الأخيرة ب-15/3/2023, 14:40:51 |