Browsing NTNU Open by Author "Wiik, Petter Husmo"
Now showing items 1-1 of 1
-
Automatic Definition of Test Procedures via Constraint-Solving
Wiik, Petter Husmo (Master thesis, 2021)Testing og verifisering av digitale systemer er en nødvendig del av design av digitale kretser i industrien. Den beste måten å verifisere at et digitalt system fungerer som det skal er omfattende testing. Jobben med å lage ...