 |
Variable Reordering |
|
Hardware Verification
- Application of formal techniques to chip designs
|
Slide 14 of
30 |