Theses & Dissertations
 
Filters: Department: "Electrical & Computer Engineering" Subject: "Formal verification"
1 - 25 of 2
Number of results to display per page
TitleDateType
1 Improved model generation and property specification for analog/mixed-signal circuits2013-08Text
2 Word-level abstractions for sequential design verification using algebraic geometry2017Text
1 - 25 of 2