 |
Control For Custom Array Structures |
- OUT pulse fans out to array READ/WRITE control signals
- Equivalence checking does not work
|
Hardware Verification
- Application of formal techniques to chip designs
|
Slide 23 of
30 |