Introducing structure into behavioural descriptions obtained from timing diagram specifications

Communication-dominated hardware is quite naturally specified in terms of timing diagrams. By providing timing diagrams with a formal semantics in terms of a timed extension of the formal description technique LOTOS, we obtain formalized pure behavioural specifications. Hereupon we apply correctness...

Full description

Saved in:
Bibliographic Details
Published in:Microprocessing and microprogramming 1993-09, Vol.38 (1), p.581-588
Main Authors: Tiedemann, W.D, Lenk, S, Grobe, C, Grass, W
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Communication-dominated hardware is quite naturally specified in terms of timing diagrams. By providing timing diagrams with a formal semantics in terms of a timed extension of the formal description technique LOTOS, we obtain formalized pure behavioural specifications. Hereupon we apply correctness-preserving transformations, which are initiated by the user's directives and which iteratively lead to structural specifications. These can be further compiled, eg. into VHDL code.
ISSN:0165-6074
DOI:10.1016/0165-6074(93)90198-T