Title | Date | Type | Setname | ||
---|---|---|---|---|---|
1 | Efficient, sound formal verification for analog/mixed-signal circuits | 2015-08 | Text | ir_etd | |
2 | Towards a verification technique for large synchronous circuits | 1992 | Text | ir_uspace | |
3 | Verification and validation of a geomodel aimed at simulating wellbore completion via shaped-charge jet perforation of metal and penetration into sandstone | 2013 | Text | ir_etd |