299 search results - page 10 / 60 » date 2003 |
78
Voted
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
121
Voted
DATE
2003
IEEE
15 years 11 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
110
click to vote
DATE
2003
IEEE
15 years 11 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....
132
Voted
DATE
2003
IEEE
15 years 11 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...