Formal verification of module interfaces against real time specifications.

Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee

Browse the full DAC paper archive.