|
|||||
|
|
Applied Boolean equivalence verification and RTL static sign-off |
|
| Authors: | Foster H |
| Affiliation: | Hewlett-Packard Co., Richardson, TX; |
| Abstract: | The author explores applying formal Boolean equivalence verification to the RTL design flow, and introduces an effective equivalence-checking usage model that ensures optimal benefits in an RTL static sign-off methodology |
| Keywords: | |