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