W
W. D. Tiedemann
Researcher at University of Passau
Publications - 2
Citations - 25
W. D. Tiedemann is an academic researcher from University of Passau. The author has contributed to research in topics: Timing diagram & Logic synthesis. The author has an hindex of 2, co-authored 2 publications receiving 25 citations.
Papers
More filters
Journal ArticleDOI
Introducing structure into behavioural descriptions obtained from timing diagram specifications
TL;DR: By providing timing diagrams with a formal semantics in terms of a timed extension of the formal description technique LOTOS, this work obtains formalized pure behavioural specifications.
Proceedings ArticleDOI
Transformation of timing diagram specifications into VHDL code
TL;DR: This paper describes how to generate VHDL from timing diagrams in order to get a hardware implementation or simply to get V HDL code for stimuli to be used in a test bench by giving timing diagrams a formal semantics in terms of T-LOTOS.