This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Applied Boolean Equivalence Verification and RTL Static Sign-Off
July/August 2001 (vol. 18 no. 4)
pp. 6-15
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/54.936244,
author = {Harry Foster},
title = {Applied Boolean Equivalence Verification and RTL Static Sign-Off},
journal ={IEEE Design & Test of Computers},
volume = {18},
number = {4},
issn = {0740-7475},
year = {2001},
pages = {6-15},
doi = {http://doi.ieeecomputersociety.org/10.1109/54.936244},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Design & Test of Computers
TI - Applied Boolean Equivalence Verification and RTL Static Sign-Off
IS - 4
SN - 0740-7475
SP6
EP15
EPD - 6-15
A1 - Harry Foster,
PY - 2001
VL - 18
JA - IEEE Design & Test of Computers
ER -
 
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-Aug. 2001, doi:10.1109/54.936244
Usage of this product signifies your acceptance of the Terms of Use.