Expressing logical and temporal conditions in simulation environments: TPDL∗
- 1 December 1989
- journal article
- Published by Elsevier in Microprocessing and Microprogramming
- Vol. 26 (4) , 241-252
- https://doi.org/10.1016/0165-6074(89)90270-6
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- MOZART: a concurrent multilevel simulatorIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983