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