Hierarchical gate-level verification of speed-independent circuits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Oriol Roig, Jordi Cortadella, Enric Pastor. Hierarchical gate-level verification of speed-independent circuits. In Second Working Conference on Asynchronous Design Methodologies, May 30-31, 1995, London, England, UK. pages 128-137, IEEE Computer Society, 1995. [doi]

This author has not been identified. Look up 'Oriol Roig' in GoogleThis author has not been identified. Look up 'Jordi Cortadella' in GoogleThis author has not been identified. Look up 'Enric Pastor' in Google

runs on WebDSL