Title of article :
Applied Boolean Equivalence Verification and RTL Static Sign-Off
Author/Authors :
Harry Foster، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
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
Journal title :
IEEE Design and Test of Computers
Journal title :
IEEE Design and Test of Computers
