Timing Verification by Formal Signal Interaction Modeling in a Multi-level Timing Simulator.

Jacques Benkoski Andrzej J. Strojwas

Published in: DAC (1989)

Keyphrases

asynchronous circuits
non stationary
interaction model
human computer interaction
database
signal processing
formal methods
genetic algorithm
learning algorithm
information systems
image processing
user interaction
formal specification
signal detection