RuleBase Parallel Edition

Formal Verification

Generalized Buffer (PSL/Sugar version) Back to tutorial homepage Hint One can implement in PSL a small state machine that keeps track of GenBuf's queue depth. We call such an auxiliary state machine a "satellite." Print this page