Tsinghua University Press Ltd. - Arithmetic operand ordering for equivalence checking

Author(s): Yanling Weng ; Haitong Ge ; Xiaolang Yan ; Ren Kun
Publisher: Tsinghua University Press Ltd.
Publication Date: 1 July 2007
Volume: 12
Page(s): 235 - 239
ISSN (Electronic): 1007-0214
DOI: 10.1016/S1007-0214(07)70116-5
Regular:

An information extraction-based technique is proposed for RTL-to-gate equivalence checking. Distances are calculated on directed acyclic graph (AIG). Multiplier and multiplicand are distinguished... View More

Advertisement