Automated Hardware Synthesis from Formal Specification Using SAT Solvers.
David J. GreavesPublished in: IEEE International Workshop on Rapid System Prototyping (2004)
Keyphrases
- formal specification
- sat solvers
- model checking
- orders of magnitude
- object oriented design
- max sat
- sat solving
- propositional satisfiability
- reverse engineering
- boolean satisfiability
- sat instances
- search strategies
- process algebra
- constraint satisfaction
- search space
- sat problem
- formal methods
- concurrent systems
- clause learning sat solvers
- clause learning
- weighted max sat
- sat encodings
- genetic algorithm
- randomly generated
- upper bound
- lower bound