---
_id: '39538'
abstract:
- lang: eng
  text: This article discusses the application of Pictorial Janus (PJ) for the rapid
    development and analysis of protocols by animation and complete visualization.
    In order to make PJ applicable in the context of hardware description we first
    extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating
    VHDL models into this visual framework preserving the simulation semantics of
    VHDL. We finally give the example of the specification and animation of a non
    interlocked protocol.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: C.
  full_name: Tahedl, C.
  last_name: Tahedl
citation:
  ama: 'Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations
    of Protocols. In: <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>.
    ; 1995. doi:<a href="https://doi.org/10.1109/ASPDAC.1995.486383">10.1109/ASPDAC.1995.486383</a>'
  apa: Müller, W., Lehrenfeld, G., &#38; Tahedl, C. (1995). Complete Visual Specification
    and Animations of Protocols. <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with
    EDA Technofair</i>. <a href="https://doi.org/10.1109/ASPDAC.1995.486383">https://doi.org/10.1109/ASPDAC.1995.486383</a>
  bibtex: '@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete
    Visual Specification and Animations of Protocols}, DOI={<a href="https://doi.org/10.1109/ASPDAC.1995.486383">10.1109/ASPDAC.1995.486383</a>},
    booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller,
    Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }'
  chicago: Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification
    and Animations of Protocols.” In <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95
    with EDA Technofair</i>. Chiba, Japan , 1995. <a href="https://doi.org/10.1109/ASPDAC.1995.486383">https://doi.org/10.1109/ASPDAC.1995.486383</a>.
  ieee: 'W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and
    Animations of Protocols,” 1995, doi: <a href="https://doi.org/10.1109/ASPDAC.1995.486383">10.1109/ASPDAC.1995.486383</a>.'
  mla: Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.”
    <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>, 1995, doi:<a
    href="https://doi.org/10.1109/ASPDAC.1995.486383">10.1109/ASPDAC.1995.486383</a>.
  short: 'W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95
    with EDA Technofair, Chiba, Japan , 1995.'
date_created: 2023-01-24T12:05:55Z
date_updated: 2023-01-24T12:05:59Z
department:
- _id: '672'
doi: 10.1109/ASPDAC.1995.486383
keyword:
- Animation
- Protocols
- Timing
- Computer languages
- Electronic mail
- Context modeling
- Visualization
- Control systems
- Flow graphs
- Trademarks
language:
- iso: eng
place: 'Chiba, Japan '
publication: Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair
publication_identifier:
  isbn:
  - 4-930813-67-0
status: public
title: Complete Visual Specification and Animations of Protocols
type: conference
user_id: '5786'
year: '1995'
...