Eine formale algorithmische Synthese digitaler Schaltungen / / Kai Kapp.
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 Überw...
Saved in:
| VerfasserIn: | |
|---|---|
| Place / Publishing House: | [Place of publication not identified] : : KIT Scientific Publishing,, 2005. |
| Year of Publication: | 2005 |
| Language: | German |
| Physical Description: | 1 online resource (iv, 177 pages) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01526nam a2200301 i 4500 | ||
|---|---|---|---|
| 001 | 993603572304498 | ||
| 005 | 20230625133930.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 230625s2005 xx o 000 0 ger d | ||
| 035 | |a (CKB)5400000000046292 | ||
| 035 | |a (NjHacI)995400000000046292 | ||
| 035 | |a (EXLCZ)995400000000046292 | ||
| 040 | |a NjHacI |b eng |e rda |c NjHacl | ||
| 041 | 1 | |a ger | |
| 050 | 4 | |a T58.5 |b .K377 2005 | |
| 082 | 0 | 4 | |a 004 |2 23 |
| 100 | 1 | |a Kapp, Kai, |e author. | |
| 245 | 1 | 5 | |a Eine formale algorithmische Synthese digitaler Schaltungen / |c Kai Kapp. |
| 264 | 1 | |a [Place of publication not identified] : |b KIT Scientific Publishing, |c 2005. | |
| 300 | |a 1 online resource (iv, 177 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 588 | |a Description based on publisher supplied metadata and other sources. | ||
| 520 | |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. | ||
| 650 | 0 | |a Information technology. | |
| 650 | 0 | |a Digital communications. | |
| 776 | |z 1000003729 | ||
| 906 | |a BOOK | ||
| ADM | |b 2023-07-06 03:28:54 Europe/Vienna |f system |c marc21 |a 2022-04-04 09:22:53 Europe/Vienna |g false | ||
| AVE | |i DOAB Directory of Open Access Books |P DOAB Directory of Open Access Books |x https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5338148390004498&Force_direct=true |Z 5338148390004498 |b Available |8 5338148390004498 | ||