DOI: 10.1109/date.2003.1253784
View full text
|
|
Share

Abstract: AbstractIn 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.