Application of Term Rewriting Techniques to Hardware Design Verification.

Mandalagiri S. Chandrasekhar, J. P. Privitera, K. W. Conradt

Browse the full DAC paper archive.