1795 search results - page 255 / 359 » On the Complexity of Circuit Satisfiability |
109
Voted
ASPDAC
2004
ACM
15 years 6 months ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
ISPD
2004
ACM
15 years 6 months ago
2004
ACM
This paper describes the structured ASIC technology and impacts to the implementation flow. With an optimized and programmable structure, the structured ASIC technology indeed int...
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
114
click to vote
FOCS
2003
IEEE
15 years 6 months ago
2003
IEEE
We consider the problem of constructing a general protocol for secure two-party computation in a way that preserves security under concurrent composition. In our treatment, we foc...
107
click to vote
GLVLSI
2003
IEEE
15 years 6 months ago
2003
IEEE
It is likely that it will become increasingly difficult to manufacture the complex, heterogeneous logic structures that characterise current reconfigurable logic systems. As a res...