Utilizing Logic Information in Multi-Level Timing Simulation.

Marko P. Chew Andrzej J. Strojwas

Published in: DAC (1991)

Keyphrases

structural information
information sources
information sharing
case study
user interaction
contextual information
temporal information
semantic information
simulation environment
multi layer
information flow
modal logic
prior information
database
information retrieval systems
end users
digital libraries
databases