TPDL: Extended temporal profile description language
- 1 April 1991
- journal article
- Published by Wiley in Software: Practice and Experience
- Vol. 21 (4) , 355-374
- https://doi.org/10.1002/spe.4380210403
Abstract
This paper presents TPDL (extended temporal profile description language), a general‐purpose language to observe and condition dynamic systems by means of temporal and logical expressions. It describes how time is modelled in TPDL, gives an overview of the language through its basic types, primitives and conditional constructs, and its use in computer‐aided design of digital systems. The paper discusses TPDL's facilities to support the description of hardware behaviour, to define the environment in which devices operate, and to observe and control both circuits and environments. The characteristics of the language are demonstrated through some representative examples.Keywords
This publication has 8 references indexed in Scilit:
- Expressing logical and temporal conditions in simulation environments: TPDL∗Microprocessing and Microprogramming, 1989
- Testability measures with concurrent good simulationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- Formal verification of hardware correctness: introduction and survey of current researchComputer, 1988
- MOZART: a concurrent multilevel simulatorIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988
- C TPDL∗: Adapting TPDL∗ to concurrent simulation environmentsMicroprocessing and Microprogramming, 1986
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Temporal LogicPublished by Springer Nature ,1971