RPTU University Library

Send mail to Author

Model-based Generation of Assertions for Pre-silicon Verification (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



 
 ______     _____    _    _     _____    ______      ___    
|      \\  |  ___|| | \  / ||  |  ___|| |      \\   / _ \\  
|  --  //  | ||__   |  \/  ||  | ||__   |  --  //  | / \ || 
|  --  \\  | ||__   | .  . ||  | ||__   |  --  \\  | \_/ || 
|______//  |_____|| |_|\/|_||  |_____|| |______//   \___//  
`------`   `-----`  `-`  `-`   `-----`  `------`    `---`
 


Back to frontdoor view