299 search results - page 10 / 60 » date 2003 |
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
: Binary Decision Diagrams (BDDs) have been widely used in synthesis and verification. Boolean Satisfiability (SAT) Solvers, on the other hand, have been gaining
54
Voted
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we show how to integrate SAT-based techniques into the task of system synthesis by regarding the the problems: (i) feasibility check and (ii) evaluation of quality....
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...