Index of /~jaan/verification
Name Last modified Size Description
Parent Directory -
1_introduction english.ppt 2017-12-11 16:53 3.8M
2_bdds english.ppt 2017-09-13 12:56 807K
2_exercise_sheet.docx 2017-09-20 12:59 12K
2_exercises.ppt 2017-09-27 10:47 131K
3_exercise_sheet.docx 2017-10-25 10:28 32K
3_exercises.ppt 2017-10-25 10:26 142K
3_sat english.ppt 2017-09-27 17:47 799K
4_simulation english.ppt 2017-10-11 13:04 1.3M
5_coverage_english.ppt 2017-10-25 12:01 915K
6_property check english.ppt 2017-11-15 12:51 1.1M
7_assert english.ppt 2017-11-15 12:56 1.9M
8_automated_debug.ppt 2014-11-21 13:56 2.1M
9_coding_english.ppt 2015-11-09 17:45 164K
2016/ 2017-09-06 12:24 -
Exam.pptx 2014-12-02 15:25 46K
GCD/ 2018-11-01 16:26 -
SODA_MACHINE/ 2018-11-01 16:27 -
exercises_english.ppt 2015-11-09 16:16 257K
questa_sim_manual_v3.pdf 2020-10-07 09:05 1.9M
questa_sim_manual_v4.pdf 2020-10-07 09:04 708K
~$Exam.pptx 2015-11-20 12:05 165
~$exercise_sheet.docx 2017-10-04 13:03 162