Detecting State Coding Conflicts in STG Unfoldings Using SAT.

Victor Khomenko Maciej Koutny Alexandre Yakovlev

Published in: ACSD (2003)

Keyphrases

database
state space
automatic detection
conflict resolution
real time
case study
search algorithm
asynchronous circuits