Title
Automating Logic Transformations With Approximate SPFDs
Abstract
During the very large scale integration design process, a synthesized design is often required to be modified in order to accommodate different goals. To preserve the engineering effort already invested, designers seek small logic structural transformations to achieve these logic restructuring goals. This paper proposes a systematic methodology to devise such transformations automatically. It first presents a simulation-based formulation to approximate sets of pairs of functions to be distinguished and avoid the memory/time explosion issue inherent with the original representation. Then, it uses this new data structure to devise the required transformations dynamically without the need of a static dictionary model. The methodology is applied to both combinational and sequential designs with transformations at a single or multiple locations. An extensive suite of experiments documents the benefits of the proposed methodology when compared to existing practices.
Year
DOI
Venue
2011
10.1109/TCAD.2011.2110590
IEEE Trans. on CAD of Integrated Circuits and Systems
Keywords
DocType
Volume
sequential circuits,logic restructuring,automating logic transformations,logic rewire,synthesized design,combinational circuits,approximate spfds,engineering change,logic structural transformation,required transformations dynamically,combinational design,very large scale integration,sequential design,circuit optimisation,data structure,large scale integration design,debug,small logic,memory-time explosion,very large scale integration design,approximate set,different goal,optimization,logic design,VLSI,integrated circuit design,logic restructuring goal,SPFD,systematic methodology,Correction,proposed methodology,simulation-based formulation
Journal
30
Issue
ISSN
Citations 
5
0278-0070
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Yu-Shen Yang1928.23
S. Sinha2191.31
A. Veneris393767.52
Robert K. Brayton46224883.32