Equivalence Checking in Information System Hardware Design

Equivalence checking is playing a significant role in Intelligent Circuits design. However, the common models for verification either have their complexity problems or have applicable limitations. In order to overcome the deficiencies, a model WGL (Weighted Generalized List) is proposed and based on...

Full description

Saved in:
Bibliographic Details
Main Authors: Fan Dehui, Ma Guangsheng
Format: Conference Proceeding
Language:English
Subjects:
Boolean functions
Circuit synthesis
Computational modeling
Delay
Design automation
Integrated circuit modeling
Polynomials
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Equivalence checking is playing a significant role in Intelligent Circuits design. However, the common models for verification either have their complexity problems or have applicable limitations. In order to overcome the deficiencies, a model WGL (Weighted Generalized List) is proposed and based on WGL we give an algorithm for checking. Comparing the model WLDDs, the experiments show that the WGL is more efficient.
DOI:10.1109/ICMSS.2011.5999175