Eine formale algorithmische Synthese digitaler Schaltungen

Eine formale algorithmische Synthese digitaler Schaltungen

Show other versions (1)

Grundvoraussetzung für die Herstellung fehlerfreier Hardware ist neben der korrekten Spezifikation der gewünschten Schaltung vor allem auch die fehlerfreie Umsetzung der spezifizierten Eigenschaften in der resultierenden Implementierung der Schaltung.Dieses Buch stellt ein neues Konzept zur Überwind...

Full description

Saved in:
Bibliographic Details
:
Kapp, Kai
Year of Publication:2005
Language:German
Physical Description:1 electronic resource (IV, 177 p. p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993562194904498
ctrlnum (CKB)4920000000101840
(oapen)https://directory.doabooks.org/handle/20.500.12854/45978
(EXLCZ)994920000000101840
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01370nam-a2200277z--4500</leader><controlfield tag="001">993562194904498</controlfield><controlfield tag="005">20230221124238.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr|mn|---annan</controlfield><controlfield tag="008">202102s2005 xx |||||o ||| geger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)4920000000101840</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/45978</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)994920000000101840</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">deu</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kapp, Kai</subfield><subfield code="4">auth</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Eine formale algorithmische Synthese digitaler Schaltungen</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="b">KIT Scientific Publishing</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 electronic resource (IV, 177 p. p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Grundvoraussetzung für die Herstellung fehlerfreier Hardware ist neben der korrekten Spezifikation der gewünschten Schaltung vor allem auch die fehlerfreie Umsetzung der spezifizierten Eigenschaften in der resultierenden Implementierung der Schaltung.Dieses Buch stellt ein neues Konzept zur Überwindung vieler existierenden Einschränkungen in der formalen algorithmischen Synthese vor. Es erlaubt über die Synthese reiner Datenflussbeschreibungen hinaus auch die vollautomatische formale Synthese steuerflussbehafteter Schaltungsspezifikationen.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">German</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Digitalschaltung</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logiksynthese</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-937300-90-2</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-03-03 03:32:08 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2019-11-10 04:18:40 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5338148390004498&amp;Force_direct=true</subfield><subfield code="Z">5338148390004498</subfield><subfield code="8">5338148390004498</subfield></datafield></record></collection>
record_format marc
spelling Kapp, Kai auth
Eine formale algorithmische Synthese digitaler Schaltungen
KIT Scientific Publishing 2005
1 electronic resource (IV, 177 p. p.)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Grundvoraussetzung für die Herstellung fehlerfreier Hardware ist neben der korrekten Spezifikation der gewünschten Schaltung vor allem auch die fehlerfreie Umsetzung der spezifizierten Eigenschaften in der resultierenden Implementierung der Schaltung.Dieses Buch stellt ein neues Konzept zur Überwindung vieler existierenden Einschränkungen in der formalen algorithmischen Synthese vor. Es erlaubt über die Synthese reiner Datenflussbeschreibungen hinaus auch die vollautomatische formale Synthese steuerflussbehafteter Schaltungsspezifikationen.
German
Digitalschaltung
Logiksynthese
3-937300-90-2
language German
format eBook
author Kapp, Kai
spellingShingle Kapp, Kai
Eine formale algorithmische Synthese digitaler Schaltungen
author_facet Kapp, Kai
author_variant k k kk
author_sort Kapp, Kai
title Eine formale algorithmische Synthese digitaler Schaltungen
title_full Eine formale algorithmische Synthese digitaler Schaltungen
title_fullStr Eine formale algorithmische Synthese digitaler Schaltungen
title_full_unstemmed Eine formale algorithmische Synthese digitaler Schaltungen
title_auth Eine formale algorithmische Synthese digitaler Schaltungen
title_new Eine formale algorithmische Synthese digitaler Schaltungen
title_sort eine formale algorithmische synthese digitaler schaltungen
publisher KIT Scientific Publishing
publishDate 2005
physical 1 electronic resource (IV, 177 p. p.)
isbn 3-937300-90-2
illustrated Not Illustrated
work_keys_str_mv AT kappkai eineformalealgorithmischesynthesedigitalerschaltungen
status_str n
ids_txt_mv (CKB)4920000000101840
(oapen)https://directory.doabooks.org/handle/20.500.12854/45978
(EXLCZ)994920000000101840
carrierType_str_mv cr
is_hierarchy_title Eine formale algorithmische Synthese digitaler Schaltungen
_version_ 1764986253502054400

Similar Items