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