wyszukanych pozycji: 62
![]() |
Robustness and Usability in Modern Design Flows
ISBN: 9789048176625 / Angielski / Miękka / 2010 / 166 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore, today s design ?ow has to be improved to achieve a higher productivity. In this book the current design methodology and ver- cation methodology are analyzed, a number of de?ciencies are identi?ed, and solutions are suggested. Improvements in the methodology as well as in the underlying algorithms are proposed. An in-depth presentation of preliminary concepts makes the book self-contained. Based on this foundation...
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up wi...
|
cena:
404,42 |
![]() |
Robustness and Usability in Modern Design Flows
ISBN: 9781402065354 / Angielski / Twarda / 2008 / 166 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore, today s design ?ow has to be improved to achieve a higher productivity. In this book the current design methodology and ver- cation methodology are analyzed, a number of de?ciencies are identi?ed, and solutions are suggested. Improvements in the methodology as well as in the underlying algorithms are proposed. An in-depth presentation of preliminary concepts makes the book self-contained. Based on this foundation...
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up wi...
|
cena:
404,42 |
![]() |
Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems
ISBN: 9783030680701 / Angielski / Twarda / 2021 / 197 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
404,42 |
![]() |
Quality-Driven SystemC Design
ISBN: 9789400791923 / Angielski / Miękka / 2014 / 170 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each verification technique is complemented by an approach to measure the achieved verification quality. The new flow distinguishes three levels of abstraction (namely system level, top level and block level) and can be incorporated in existing approaches. After reviewing the preliminary concepts, in the... A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancemen... |
cena:
404,42 |
![]() |
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme
ISBN: 9783031369964 / Niemiecki / Twarda / 2023 Termin realizacji zamówienia: ok. 16-18 dni roboczych. Dieses Buch beschreibt eine Reihe von SystemC-basierten Analysemethoden für virtuelle Prototypen, einschließlich Entwurfsverständnis, Verifikation, Sicherheitsvalidierung und Entwurfsraumuntersuchung. Der Leser erhält einen Überblick über die neuesten Forschungsergebnisse auf dem Gebiet der Electronic Design Automation (EDA) auf der elektronischen Systemebene (ESL). Die besprochenen Methoden ermöglichen es den Lesern, wichtige Aufgaben und Anwendungen im Entwurfsprozess leicht zu bewältigen. Übersetzt mit www.DeepL.com/Translator (kostenlose Version) Dieses Buch beschreibt eine Reihe von SystemC-basierten Analysemethoden für virtuelle Prototypen, einschließlich Entwurfsverständnis, Verifikati... |
cena:
415,75 |
![]() |
Noch Analog Oder Lebst Du Schon?: Mit Noerdman Durch Die Welt Von Heute... Und Morgen
ISBN: 9783658324124 / Niemiecki / Miękka / 2021 / 109 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
67,99 |
![]() |
Debugging at the Electronic System Level
ISBN: 9789048192540 / Angielski / Twarda / 2010 / 199 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Debugging is the bottleneck to chip design productivity. This state-of-the-art book reviews modeling and verification of ESL designs. It is believed to be the first book that considers debugging for ESL designs. There is particular focus on SystemC. Debugging is the bottleneck to chip design productivity. This state-of-the-art book reviews modeling and verification of ESL designs. It is believe... |
cena:
404,42 |
![]() |
Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications
ISBN: 9783030442842 / Angielski / Miękka / 2021 / 166 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
323,53 |
![]() |
In-Memory-Computing: Synthese und Optimierung
ISBN: 9783031228780 / Niemiecki / Twarda / 2023 / 165 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Dieses Buch beschreibt einen umfassenden Ansatz für die Synthese und Optimierung von Logic-in-Memory-Computing-Hardware und -Architekturen mit memristiven Bauelementen, der eine solide Grundlage für praktische Anwendungen schafft. Die Leser werden mit einer neuen Generation von Computerarchitekturen vertraut gemacht, die potenziell schneller arbeiten können, da die Notwendigkeit der Kommunikation zwischen Prozessor und Speicher überwunden wird. Die Diskussion umfasst verschiedene Synthesemethoden und Optimierungsalgorithmen, die auf Implementierungskostenmetriken wie Latenzzeit und...
Dieses Buch beschreibt einen umfassenden Ansatz für die Synthese und Optimierung von Logic-in-Memory-Computing-Hardware und -Architekturen mit memris...
|
cena:
415,75 |
![]() |
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems
ISBN: 9783031289156 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 15thannual International Workshop on Boolean Problems.
This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but...
|
cena:
444,86 |
![]() |
Graphenbasierte Funktionsdarstellung: Boolesche Und Pseudo-Boolesche Funktionen
ISBN: 9783519021490 / Niemiecki / Miękka / 1998 / 200 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Integrierte Schaltkreise haben in den vergangenen Jahren massiv unsere Umwelt verandert. Der Computer hat in vielen Lebensbereichen Zugang gefunden und ist dort inzwischen unersetzlich. Auch bei vielen Dingen des taglichen Lebens, wie z.B. Fernsehern, Radios und Kiichengeraten, werden Mikrochips verstarkt einge setzt. Die damit verbundenen "Bequemlichkeiten" werden als selbstverstandlich angenommen und fiir die nachste Generation werden weitere Fortschritte gefor dert bzw. fast zwingend erwartet. Dieser Trend verstarkt sich, wenn man an sogenannte High Tech-Bereiche denkt, wie sie sich z.B....
Integrierte Schaltkreise haben in den vergangenen Jahren massiv unsere Umwelt verandert. Der Computer hat in vielen Lebensbereichen Zugang gefunden un...
|
cena:
188,97 |
![]() |
Design F?r Testbarkeit, Fehlersuche Und Zuverl?ssigkeit: Ma?nahmen Der N?chsten Generation Unter Verwendung Formaler Techniken
ISBN: 9783031453182 / Niemiecki Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
415,75 |
![]() |
Towards a Design Flow for Reversible Logic
ISBN: 9789048195787 / Angielski / Twarda / 2010 / 184 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor sizes and power dissipation are the major barriers in the development of smaller and more powerful circuits. Reversible logic provides an alternative that may overcome many of these problems in the future. For low-power design, reversible logic offers significant advantages since zero power dissipation will only be possible if computation is reversible. Furthermore, quantum computation profits from...
The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its l...
|
cena:
404,42 |
![]() |
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
ISBN: 9783030692087 / Angielski / Twarda / 2021 / 164 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
444,86 |
![]() |
Formal and Practical Techniques for the Complex System Design Process Using Virtual Prototypes: Better Early Than Never
ISBN: 9783031516917 / Angielski Termin realizacji zamówienia: 22 dni roboczych |
381,88 |
![]() |
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
ISBN: 9783030203252 / Angielski / Miękka / 2020 / 265 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
404,42 |
![]() |
Quality-Driven SystemC Design
ISBN: 9789048136308 / Angielski / Twarda / 2009 / 170 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each verification technique is complemented by an approach to measure the achieved verification quality. The new flow distinguishes three levels of abstraction (namely system level, top level and block level) and can be incorporated in existing approaches. After reviewing the preliminary concepts, in the... A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancemen... |
cena:
404,42 |
![]() |
Towards One-Pass Synthesis
ISBN: 9781441952790 / Angielski / Miękka / 2010 / 182 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the complete process was too complex, it has been split up in several - more or less independen- phases. In the last 40 years powerful algorithms have been developed to find optimal solutions for each of these steps. However, the interaction of these different algorithms has not been considered for a long time. This leads to quality loss e. g. in cases where highly optimized netlists fit badly onto the target architecture. Since the resulting circuits...
The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the comp...
|
cena:
404,42 |
![]() |
Information Storage: A Multidisciplinary Perspective
ISBN: 9783030192648 / Angielski / Miękka / 2020 / 238 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
404,42 |
![]() |
Debugging at the Electronic System Level
ISBN: 9789400795075 / Angielski / Miękka / 2014 / 199 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Debugging becomes more and more the bottleneck to chip design productivity, especially while developing modern complex integrated circuits and systems at the Electronic System Level (ESL). Today, debugging is still an unsystematic and lengthy process. Here, a simple reporting of a failure is not enough, anymore. Rather, it becomes more and more important not only to find many errors early during development but also to provide efficient methods for their isolation. In Debugging at the Electronic System Level the state-of-the-art of modeling and verification of ESL designs is reviewed....
Debugging becomes more and more the bottleneck to chip design productivity, especially while developing modern complex integrated circuits and systems...
|
cena:
404,42 |