Application of Term Rewriting Techniques to Hardware Design Verification.

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

Published in: DAC (1987)

Keyphrases

hardware design
term rewriting
computer vision
hardware implementation