Extended timing diagrams as a specification language
Stefan Lenk · European Design Automation Conference · 1994
Hardware designs increasingly evolve to distributed systems composed of multiple interacting components working in parallel. Extended Timing Diagrams presented in this paper are an intelligible graphical speci cation language especially suited for the description of such communicating systems. The formal semantics of extended timing diagrams is de ned in terms of a process calculus. This formalization permits applying the language as an entrance to formal design systems.