Sciweavers

38 search results - page 1 / 8
» Technology mapping by binate covering
Sort
View
FPL
1997
Springer
242views Hardware» more  FPL 1997»
13 years 8 months ago
Technology mapping by binate covering
Technology mapping can be viewed as the optimization problem of finding a minimum cost cover of the given Boolean network by choosing from given library of logic cells. The core of...
Michal Servít, Kang Yi
DAC
2005
ACM
14 years 5 months ago
Effective bounding techniques for solving unate and binate covering problems
Covering problems arise in many areas of electronic design automation such as logic minimization and technology mapping. An exact solution can critically impact both size and perf...
Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez
DAC
1998
ACM
13 years 8 months ago
Delay-Optimal Technology Mapping by DAG Covering
Yuji Kukimoto, Robert K. Brayton, Prashant Sawkar
COCO
2009
Springer
128views Algorithms» more  COCO 2009»
13 years 11 months ago
Inapproximability of Vertex Cover and Independent Set in Bounded Degree Graphs
We study the inapproximability of Vertex Cover and Independent Set on degree d graphs. We prove that: • Vertex Cover is Unique Games-hard to approximate to within a factor 2−(...
Per Austrin, Subhash Khot, Muli Safra
ITC
1995
IEEE
104views Hardware» more  ITC 1995»
13 years 8 months ago
Synthesis of Mapping Logic for Generating Transformed Pseudo-Random Patterns for BIST
During built-in self-test (BIST), the set of patterns generated by a pseudo-random pattern generator may not provide a sufficiently high fault coverage. This paper presents a new ...
Nur A. Touba, Edward J. McCluskey