Eine formale algorithmische Synthese digitaler Schaltungen
By: Universita t Karlsruhe (TH), Institut fu r Technische Informatik. Von Kai Kapp
Contributors: Institut fu r Technische Informatik (Karlsruhe)
Publisher: Univ.-Verl. Karlsruhe
Published: 2005
Place of publication: Karlsruhe
Language: ger
Format: [Elektronische Ressource] /
ISBN-13: 9783937300900
Subjects: Digitalschaltung; HOL; Logiksynthese; Formale Spezifikationstechnik
Notes: Universit at, Diss., 2005 u.d.T.: Knapp, Kai: Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen--Karlsruhe.