---
_id: '20678'
author:
- first_name: Christian Roman
  full_name: Bielak, Christian Roman
  id: '34782'
  last_name: Bielak
- first_name: Max
  full_name: Böhnke, Max
  id: '45779'
  last_name: Böhnke
- first_name: Robert
  full_name: Beck, Robert
  id: '38279'
  last_name: Beck
- first_name: Mathias
  full_name: Bobbert, Mathias
  id: '7850'
  last_name: Bobbert
- first_name: Gerson
  full_name: Meschut, Gerson
  id: '32056'
  last_name: Meschut
  orcid: 0000-0002-2763-1246
citation:
  ama: Bielak CR, Böhnke M, Beck R, Bobbert M, Meschut G. Numerical analysis of the
    robustness of clinching process considering the pre-forming of the parts . <i>Journal
    of Advanced Joining Processes </i>. Published online 2020. doi:<a href="https://doi.org/10.1016/j.jajp.2020.100038">https://doi.org/10.1016/j.jajp.2020.100038</a>
  apa: Bielak, C. R., Böhnke, M., Beck, R., Bobbert, M., &#38; Meschut, G. (2020).
    Numerical analysis of the robustness of clinching process considering the pre-forming
    of the parts . <i>Journal of Advanced Joining Processes. </i>. <a href="https://doi.org/10.1016/j.jajp.2020.100038">https://doi.org/10.1016/j.jajp.2020.100038</a>
  bibtex: '@article{Bielak_Böhnke_Beck_Bobbert_Meschut_2020, title={Numerical analysis
    of the robustness of clinching process considering the pre-forming of the parts
    }, DOI={<a href="https://doi.org/10.1016/j.jajp.2020.100038">https://doi.org/10.1016/j.jajp.2020.100038</a>},
    journal={Journal of Advanced Joining Processes. }, publisher={Elsevier}, author={Bielak,
    Christian Roman and Böhnke, Max and Beck, Robert and Bobbert, Mathias and Meschut,
    Gerson}, year={2020} }'
  chicago: Bielak, Christian Roman, Max Böhnke, Robert Beck, Mathias Bobbert, and
    Gerson Meschut. “Numerical Analysis of the Robustness of Clinching Process Considering
    the Pre-Forming of the Parts .” <i>Journal of Advanced Joining Processes. </i>,
    2020. <a href="https://doi.org/10.1016/j.jajp.2020.100038">https://doi.org/10.1016/j.jajp.2020.100038</a>.
  ieee: 'C. R. Bielak, M. Böhnke, R. Beck, M. Bobbert, and G. Meschut, “Numerical
    analysis of the robustness of clinching process considering the pre-forming of
    the parts ,” <i>Journal of Advanced Joining Processes. </i>, 2020, doi: <a href="https://doi.org/10.1016/j.jajp.2020.100038">https://doi.org/10.1016/j.jajp.2020.100038</a>.'
  mla: Bielak, Christian Roman, et al. “Numerical Analysis of the Robustness of Clinching
    Process Considering the Pre-Forming of the Parts .” <i>Journal of Advanced Joining
    Processes. </i>, Elsevier, 2020, doi:<a href="https://doi.org/10.1016/j.jajp.2020.100038">https://doi.org/10.1016/j.jajp.2020.100038</a>.
  short: C.R. Bielak, M. Böhnke, R. Beck, M. Bobbert, G. Meschut, Journal of Advanced
    Joining Processes.  (2020).
date_created: 2020-12-02T16:21:34Z
date_updated: 2022-03-24T09:39:11Z
department:
- _id: '157'
doi: https://doi.org/10.1016/j.jajp.2020.100038
keyword:
- Clinching
- process simulation
- FEM
- pre-straining
- sensitivity analysis
language:
- iso: eng
project:
- _id: '130'
  grant_number: '418701707'
  name: 'TRR 285: TRR 285'
- _id: '131'
  name: 'TRR 285 - A: TRR 285 - Project Area A'
- _id: '135'
  name: 'TRR 285 – A01: TRR 285 - Subproject A01'
publication: 'Journal of Advanced Joining Processes. '
publication_identifier:
  unknown:
  - https://doi.org/10.1016/j.jajp.2020.100038
publication_status: published
publisher: Elsevier
status: public
title: 'Numerical analysis of the robustness of clinching process considering the
  pre-forming of the parts '
type: journal_article
user_id: '34782'
year: '2020'
...
---
_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'
...