An advisory system for digital logic simulation.
Brian A. A. AntaoJeffrey R. CantwellArthur J. BrodersenJohn R. BournePublished in: IEA/AIE (2) (1989)
Keyphrases
- simulation model
- expert systems
- real time
- digital media
- multi agent systems
- mathematical model
- simulation models
- automated reasoning
- simulation environment
- simulation study
- asynchronous circuits
- learning environment
- real world
- neural network
- numerical simulations
- proof theory
- epistemic logic
- delay insensitive
- classical logic
- multi valued
- evolutionary algorithm
- metadata
- databases