DocumentCode
3484556
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
Volume
2
fYear
1995
fDate
5-8 Sep 1995
Firstpage
640
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 1995. Canadian Conference on
Conference_Location
Montreal, Que.
ISSN
0840-7789
Print_ISBN
0-7803-2766-7
Type
conf
DOI
10.1109/CCECE.1995.526285
Filename
526285
Link To Document