Post-Verification Debugging of Hierarchical Designs.

Moayad Fahim Ali Sean Safarpour Andreas G. Veneris Magdy S. Abadir Rolf Drechsler

Published in: MTV (2005)

Keyphrases

hardware designs
hierarchical structure
face verification
hierarchical classification
hierarchical representation
asynchronous circuits
databases
website
clustering algorithm
formal analysis
hierarchical model
signature verification
formal verification
cryptographic protocols
java programs