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