1743 search results - page 216 / 349 » Generalized Modal Satisfiability |
116
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
128
Voted
DAC
2004
ACM
16 years 4 months ago
2004
ACM
Reversible quantum logic plays an important role in quantum computing. In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability anal...
118
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
111
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
DNA self-assembly is an emerging technology with potential as a future replacement of conventional lithographic fabrication. A key challenge is the specification of appropriate DN...
129
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
In designing bus based systems with parallel and pipelined architecture, it is important to derive a real time budget (a specified execution time limit) for each task of a bus bas...