Automatic verification of speed-independent circuits with Petri net specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David L. Dill, Steven M. Nowick, Robert F. Sproull. Automatic verification of speed-independent circuits with Petri net specifications. In Computer Design: VLSI in Computers and Processors, ICCD 1989. Proceedings., 1989 IEEE International Conference on, Cambridge, MA, USA, October 2-4, 1989. pages 212-216, IEEE, 1989. [doi]

This author has not been identified. Look up 'David L. Dill' in GoogleThis author has not been identified. Look up 'Steven M. Nowick' in GoogleThis author has not been identified. Look up 'Robert F. Sproull' in Google

runs on WebDSL