TO
Filters: Subject: "Grobner Basis" School Or College: "College of Engineering" Publication Type: "dissertation" Collection: "ir_etd"
1 - 25 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 - 25 of 1