---
_id: '34448'
abstract:
- lang: eng
  text: We present a rigorous but transparent semantic definition for VHDL corresponding
    to the IEEE VHDL’ 93 standard [68, 9, 84]. Our definition covers the full behavior
    of signal and variable assignments as well as the behavior of the various wait
    statements including delta, time, and postponed cycles. We consider explicitly
    declared signals, ports, local variables, and shared variables. Our specification
    defines an abstract VHDL ’ 93 interpreter in the form of transition rules for
    an evolving algebra machine (EA-Machine) [60]. It faithfully reflects and supports
    the view of simulation given in the IEEE VHDL ’ 93 standard language reference
    manual. The definition can be understood without any prior formal training. We
    illustrate our definition by running the example VHDL program set out in the Introduction
    to this volume.
author:
- first_name: Egon
  full_name: Börger, Egon
  last_name: Börger
- first_name: Uwe
  full_name: Glässer, Uwe
  last_name: Glässer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Börger E, Glässer U, Müller W. A Formal Definition of an Abstract VHDL’93
    Simulator by EA-Machines. In: Delgado Kloos C, Breuer PT, eds. <i>Semantics of
    VHDL</i>. Kluwer Academic Publishers; 1995:107-139. doi:<a href="https://doi.org/10.1007/978-1-4615-2237-9_5">10.1007/978-1-4615-2237-9_5</a>'
  apa: Börger, E., Glässer, U., &#38; Müller, W. (1995). A Formal Definition of an
    Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos &#38; P. T. Breuer
    (Eds.), <i>Semantics of VHDL</i> (pp. 107–139). Kluwer Academic Publishers. <a
    href="https://doi.org/10.1007/978-1-4615-2237-9_5">https://doi.org/10.1007/978-1-4615-2237-9_5</a>
  bibtex: '@inbook{Börger_Glässer_Müller_1995, place={Dordrecht}, title={A Formal
    Definition of an Abstract VHDL’93 Simulator by EA-Machines}, DOI={<a href="https://doi.org/10.1007/978-1-4615-2237-9_5">10.1007/978-1-4615-2237-9_5</a>},
    booktitle={Semantics of VHDL}, publisher={Kluwer Academic Publishers}, author={Börger,
    Egon and Glässer, Uwe and Müller, Wolfgang}, editor={Delgado Kloos, C. and Breuer,
    Peter T.}, year={1995}, pages={107–139} }'
  chicago: 'Börger, Egon, Uwe Glässer, and Wolfgang Müller. “A Formal Definition of
    an Abstract VHDL’93 Simulator by EA-Machines.” In <i>Semantics of VHDL</i>, edited
    by C. Delgado Kloos and Peter T. Breuer, 107–39. Dordrecht: Kluwer Academic Publishers,
    1995. <a href="https://doi.org/10.1007/978-1-4615-2237-9_5">https://doi.org/10.1007/978-1-4615-2237-9_5</a>.'
  ieee: 'E. Börger, U. Glässer, and W. Müller, “A Formal Definition of an Abstract
    VHDL’93 Simulator by EA-Machines,” in <i>Semantics of VHDL</i>, C. Delgado Kloos
    and P. T. Breuer, Eds. Dordrecht: Kluwer Academic Publishers, 1995, pp. 107–139.'
  mla: Börger, Egon, et al. “A Formal Definition of an Abstract VHDL’93 Simulator
    by EA-Machines.” <i>Semantics of VHDL</i>, edited by C. Delgado Kloos and Peter
    T. Breuer, Kluwer Academic Publishers, 1995, pp. 107–39, doi:<a href="https://doi.org/10.1007/978-1-4615-2237-9_5">10.1007/978-1-4615-2237-9_5</a>.
  short: 'E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.),
    Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139.'
date_created: 2022-12-15T11:42:48Z
date_updated: 2022-12-15T11:43:14Z
department:
- _id: '672'
doi: 10.1007/978-1-4615-2237-9_5
editor:
- first_name: C.
  full_name: Delgado Kloos, C.
  last_name: Delgado Kloos
- first_name: Peter T.
  full_name: Breuer, Peter T.
  last_name: Breuer
keyword:
- Transition Rule     Formal Verification     Variable Assignment     Kernel Process     Simulation
  Cycle
language:
- iso: eng
page: 107 - 139
place: Dordrecht
publication: Semantics of VHDL
publication_identifier:
  isbn:
  - 978-1-4615-2237-9
publisher: Kluwer Academic Publishers
status: public
title: A Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines
type: book_chapter
user_id: '5786'
year: '1995'
...