Media type: E-Book; Thesis Title: Timing model derivation : pipeline analyzer generation from hardware description languages$nElektronische Ressource Contributor: Pister, Markus [Author] Published: Saarbrücken: Pirrot, 2012 Extent: Online-Ressource; Ill., graph. Darst Language: English ISBN: 9783937436401 Identifier: Keywords: Eingebettetes System > Sicherheitskritisches System > VHDL > Statische Analyse > Modelltransformation > Programmlaufzeit > Worst-Case-Laufzeit > Abstrakte Interpretation > Semantikerhaltende Transformation > Formale Spezifikationstechnik Origination: University thesis: Zugl.: Saarbrücken, Univ., Diss., 2012 Footnote: Access State: Open Access