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