Title | Date | Type | Setname | ||
---|---|---|---|---|---|
1 |
![]() |
Efficient, sound formal verification for analog/mixed-signal circuits | 2015-08 | Text | ir_etd |
2 |
![]() |
Global ensemble forecast system precipitation forecasts and the implications of statistical downscaling over the western united states | 2016 | Text | ir_etd |
3 |
![]() |
Towards a verification technique for large synchronous circuits | 1992 | Text | ir_uspace |