| Date of Award | Jan 1 2023 |
|---|---|
| Original language | English |
| Supervisor | Sumitra Mukherjee (Supervisor), Michael J Laszlo (Advisor) & Frank J. Mitropoulos (Advisor) |
Optimizing Constraint Selection in a Design Verification Environment for Efficient Coverage Closure
Student thesis: Doctoral Thesis › Doctor of Philosophy