TO
1 - 100 of 1
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Pruss, Tim | Word-level abstraction from combinational circuits using algebraic geometry | Abstraction; Digital Design; Formal Verification; Grobner Basis; Hardware Verification | 2015-08 | dissertation |
1 - 100 of 1