Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules.

Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti

Browse the full VLSID paper archive.