 |
Different Representations |
|
Hardware Verification
- Application of formal techniques to chip designs
|
Slide 15 of
30 |