 |
Binary Decision Diagrams (BDDs) |
Represent and manipulate Boolean functions (sets of states, state-transition relationships, ...)
|
Hardware Verification
- Application of formal techniques to chip designs
|
Slide 11 of
30 |