Monotonic Covers
CE-653 - STG-based Logic Synthesis - Petrify
42
}Definition[Monotonic Cover]
}Cover Cube C is a monotonic cover for ER(a*) iff:
}C covers all states ER(a*)
}C covers no states outside ER(a*) U QR(a*)
}C changes only once inside QR(a*)
}
}A Monotonic Cover ensures SI implementation using simple gates
}