193 search results - page 1 / 39 » Incremental logic rectification |
VTS
1997
IEEE
13 years 9 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
ASPDAC
2005
ACM
13 years 6 months ago
2005
ACM
In a later stage of a VLSI design, it is quite often to modify a design implementation to accommodate the new specification, design errors, or to meet design constraints. In addit...
DATE
2009
IEEE
13 years 8 months ago
2009
IEEE
In the digital VLSI cycle, logic transformations are often required to modify the design to meet different synthesis and optimization goals. Logic transformations on sequential ci...
ASPDAC
2007
ACM
13 years 8 months ago
2007
ACM
ISCAS
2003
IEEE
13 years 10 months ago
2003
IEEE
the interconnection among the IP cores with all description levels This paper presents an automatic interconnection rectification (AIR)technique to correct the misplaced interconne...