Title :
Timing diagrams: semantics and passage towards an intermediate model
Author :
Berkane, Bachir ; Gandrabur, Simona ; Cerny, Eduad
Author_Institution :
Dept. of Comput. & Oper. Res., Montreal Univ., Que., Canada
Abstract :
This article deals with the specification and behavioral analysis of systems with delay. It gives first a formal semantics to a timing-diagram language. It then defines a procedure for moving towards an intermediate model on which the analysis of temporal properties is decidable
Keywords :
circuit analysis computing; computational linguistics; delays; timing; behavioral analysis; delay; formal semantics; intermediate model; specification; temporal properties; timing-diagram language; Delay systems; Timing;
Conference_Titel :
Electrical and Computer Engineering, 1995. Canadian Conference on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-7803-2766-7
DOI :
10.1109/CCECE.1995.526285
