Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions.

Subhankar Mukherjee, Pallab Dasgupta

Browse the full VLSID paper archive.