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