STG Based Logic Synthesis - the Petrify Approach

Implementability Conditions - Revisited

CE-653 - STG-based Logic Synthesis - Petrify

}Consistency + CSC + persistency

}There exists a speed-independent circuit that implements the behavior of the STG

}under the assumption that any Boolean function can be implemented with one complex gate

}