Eine formale algorithmische Synthese digitaler Schaltungen
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...
Spremljeno u:
| Glavni autor: | |
|---|---|
| Format: | Online |
| Jezik: | njemački |
| Izdano: |
KIT Scientific Publishing
2021
|
| Teme: | |
| Online pristup: | 34592 |
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
| _version_ | 1869518555446247424 |
|---|---|
| author | Kapp, Kai |
| author_browse | Kapp, Kai |
| author_facet | Kapp, Kai |
| author_sort | Kapp, Kai |
| collection | Directory of Open Access Books |
| description | 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. |
| format | Online |
| id | doab-20.500.12854ir-45978 |
| institution | Directory of Open Access Books |
| language | ger |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | KIT Scientific Publishing |
| publisherStr | KIT Scientific Publishing |
| record_format | ojs |
| spelling | doab-20.500.12854ir-459782023-12-20T18:40:44Z Eine formale algorithmische Synthese digitaler Schaltungen Kapp, Kai QA75.5-76.95 Digitalschaltung Logiksynthese bic Book Industry Communication::U Computing & information technology::UY Computer science 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. 2021-02-11T12:12:59Z 2021-02-11T12:12:59Z 2019-07-30 20:01:58 2005 book 34592 3937300902 https://directory.doabooks.org/handle/20.500.12854/45978 ger image/jpeg https://www.ksp.kit.edu/3937300902 KIT Scientific Publishing 10.5445/KSP/1000003729 10.5445/KSP/1000003729 68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2 3937300902 IV, 177 p. open access |
| spellingShingle | QA75.5-76.95 Digitalschaltung Logiksynthese bic Book Industry Communication::U Computing & information technology::UY Computer science Kapp, Kai Eine formale algorithmische Synthese digitaler Schaltungen |
| 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_short | Eine formale algorithmische Synthese digitaler Schaltungen |
| title_sort | eine formale algorithmische synthese digitaler schaltungen |
| topic | QA75.5-76.95 Digitalschaltung Logiksynthese bic Book Industry Communication::U Computing & information technology::UY Computer science |
| topic_facet | QA75.5-76.95 Digitalschaltung Logiksynthese bic Book Industry Communication::U Computing & information technology::UY Computer science |
| url | 34592 |
| work_keys_str_mv | AT kappkai eineformalealgorithmischesynthesedigitalerschaltungen |