Contents
}STG Presentation
}Add:
}Synthesis Conditions for
Implementability
}Boundedness, Consistency,
CSC
}Encodability
}Slides 36, 37
}Irreducible vs. Reducible
CSC
}Monotonic Covers
Definition
2
CE-653 - STG-based Logic
Synthesis - Petrify