A Distributed Approach to Timing Verification of Synchronous and Asynchronous Digital Designs.
Sumit GhoshPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1987)
Keyphrases
- distributed systems
- asynchronous circuits
- cooperative
- model checking
- distributed environment
- multi agent
- distributed architecture
- functional verification
- image processing
- distributed network
- fingerprint verification
- distributed processing
- loosely coupled
- formal methods
- face verification
- digital objects
- digital content
- fault tolerant
- mobile agents
- data model
- learning environment