STG
Logic Synthesis - Conclusions
CE-653 - STG-based Logic
Synthesis - Petrify
67
}STGs have a high
expressiveness power at a low level of granularity (similar to
FSMs for synchronous systems)
}Very effective approach
for asynchronous control circuit design
}Not suitable for datapath
design
}Circuits with choice
require attention for determinism (no confusion!)
}Synthesis from STGs can
be fully automated
}Synthesis tools often
suffer from the state explosion problem (symbolic
techniques are used)
}State Space generation is
exponential