Techniques and modules for element specification in a time - delay logic simulator.
John L. FikeStephen A. SzygendaPublished in: ANSS (1973)
Keyphrases
- asynchronous circuits
- state machine
- formal language
- linear temporal logic
- modal logic
- transition systems
- simulation environment
- simulation model
- multi valued
- functional modules
- logic programming
- specification languages
- specification language
- high level
- predicate logic
- epistemic logic
- active rules
- computational properties
- operational semantics
- modular architecture
- sound and complete axiomatization
- proof theory
- databases
- deontic logic
- probability theory
- formal specification
- logic programs
- relational databases
- reinforcement learning
- neural network