The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July/August (2001 vol.18)
pp: 6-15
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.
CITATION
Harry Foster, "Applied Boolean Equivalence Verification and RTL Static Sign-Off", IEEE Design & Test of Computers, vol.18, no. 4, pp. 6-15, July/August 2001, doi:10.1109/54.936244
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool