132 search results - page 22 / 27 » cad 2005 |
113
click to vote
DSD
2005
IEEE
15 years 6 months ago
2005
IEEE
We describe a new e-learning environment and a runtime platform for educational tools on digital system testing and design for testability. This environment is being developed in ...
GLVLSI
2005
IEEE
15 years 6 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
121
click to vote
ISMAR
2005
IEEE
15 years 5 months ago
2005
IEEE
We present a real-time model-based line tracking approach with adaptive learning of image edge features that can handle partial occlusion and illumination changes. A CAD (VRML) mo...
116
click to vote
VLSID
2005
IEEE
15 years 5 months ago
2005
IEEE
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...
ISLPED
2005
ACM
15 years 5 months ago
2005
ACM
As FPGAs enter the nanometer regime, several modifications are needed to reduce the increasing leakage power dissipation. Hence, this work presents some modifications to the FPG...