Index of /~jaan/verification

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