VHDL/S—integrating statecharts, timing diagrams, and VHDL - Citegraph

Paper Info

Title
VHDL/S—integrating statecharts, timing diagrams, and VHDL

Abstract
VHDL/S, the language being developed and employed in the FORMAT project, integrates VHDL, temporal logic, and, as graphical formalisms, timing diagrams and state based specifications into a single framework for specification and verification of reactive behaviour, in particular on the system level. Timing diagrams, like the temporal logic they are based upon, are declarative in nature and comply to a compositional proof methodology that employs automated verification techniques. State based specifications, as an operational language, complement VHDL, with which they share syntactical elements and the fundamental notion of time.

Year	DOI	Venue
1993	10.1016/0165-6074(93)90197-S	Microprocessing and Microprogramming
Keywords	DocType	Volume
timing diagram	Journal	38
Issue	ISSN	Citations
1	Microprocessing and Microprogramming	7
PageRank	References	Authors
0.69	6	5

Authors (5 rows)

Cited by (7 rows)

References (6 rows)

Name	Order	Citations	PageRank
J. Helbig	1	7	0.69
R. Schlör	2	11	1.20
W. Damm	3	98	13.68
G. Döhmen	4	7	0.69
P. Kelb	5	7	0.69

1