STG Based Logic Synthesis - the Petrify Approach

Speed-Independence - Summary

CE-653 - STG-based Logic Synthesis - Petrify

48

}Implementability conditions

}Consistency

}Complete State Coding (CSC)

}Persistency

}Circuit architectures

}Complex (hazard-free) gates

}C elements with monotonic covers