Sciweavers

1151 search results - page 1 / 231
» Modelling Digital Circuits Problems with Set Constraints
Sort
View
CL
2000
Springer
13 years 11 months ago
Modelling Digital Circuits Problems with Set Constraints
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem s...
Francisco Azevedo, Pedro Barahona
CONSTRAINTS
2007
89views more  CONSTRAINTS 2007»
13 years 6 months ago
Cardinal: A Finite Sets Constraint Solver
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
Francisco Azevedo
IJCAI
1989
13 years 8 months ago
Constraint Posting for Verifying VLSI Circuits
We apply constraint posting to the problem of reasoning about function from structure. Constraint posting is a technique used by some planners to coordinate decisions. At each dec...
Daniel Weise
ISQED
2010
IEEE
123views Hardware» more  ISQED 2010»
13 years 9 months ago
Yield-constrained digital circuit sizing via sequential geometric programming
Circuit design under process variation can be formulated mathematically as a robust optimization problem with a yield constraint. Existing methods force designers to either resort...
Yu Ben, Laurent El Ghaoui, Kameshwar Poolla, Costa...
ICES
2003
Springer
112views Hardware» more  ICES 2003»
14 years 3 days ago
Using Negative Correlation to Evolve Fault-Tolerant Circuits
In this paper, we show how artificial evolution can be used to improve the fault-tolerance of electronic circuits. We show that evolution is able to improve the fault tolerance of...
Thorsten Schnier, Xin Yao