Efficient verification of determinate speed-independent circuits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter A. Beerel, Jerry R. Burch, Teresa H. Y. Meng. Efficient verification of determinate speed-independent circuits. In Michael R. Lightner, Jochen A. G. Jess, editors, Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993. pages 261-267, IEEE Computer Society, 1993. [doi]

This author has not been identified. Look up 'Peter A. Beerel' in GoogleThis author has not been identified. Look up 'Jerry R. Burch' in GoogleThis author has not been identified. Look up 'Teresa H. Y. Meng' in Google

runs on WebDSL