Concurrency Reduction (Manual/Automatic)
at State Graph Level
CE-653 - STG-based Logic Synthesis - Petrify
25
LDS-
LDS-
LDS+
LDS-
10110
10110
DSr+
DSr+
DSr+