System Level Design with .Net Technology
Seiten
2009
Crc Press Inc (Verlag)
978-1-4398-1211-2 (ISBN)
Crc Press Inc (Verlag)
978-1-4398-1211-2 (ISBN)
- Titel z.Zt. nicht lieferbar
- Versandkostenfrei innerhalb Deutschlands
- Auch auf Rechnung
- Verfügbarkeit in der Filiale vor Ort prüfen
- Artikel merken
Constituting a software-based approach to design modeling verification and simulation, this book intends to harness the power of .NET for system design. It explains how to tap into the power of this dynamic programming environment for effective management of metadata - and introspection and interoperability between tools.
The first book to harness the power of .NET for system design, System Level Design with .NET Technology constitutes a software-based approach to design modeling verification and simulation. World class developers, who have been at the forefront of system design for decades, explain how to tap into the power of this dynamic programming environment for more effective and efficient management of metadata—and introspection and interoperability between tools.
Using readily available technology, the text details how to capture constraints and requirements at high levels and describes how to percolate them during the refinement process. Departing from proprietary environments built around System Verilog and VHDL, this cutting-edge reference includes an open source environment (ESys.NET) that readers can use to experiment with new ideas, algorithms, and design methods; and to expand the capabilities of their current tools. It also covers:
Modeling and simulation—including requirements specification, IP reuse, and applications of design patterns to hardware/software systems
Simulation and validation—including transaction-based models, accurate simulation at cycle and transaction levels, cosimulation and acceleration technique, as well as timing specification and validation
Practical use of the ESys.NET environment
Worked examples, end of chapter references, and the ESys.NET implementation test bed make this the ideal resource for system engineers and students looking to maximize their embedded system designs.
The first book to harness the power of .NET for system design, System Level Design with .NET Technology constitutes a software-based approach to design modeling verification and simulation. World class developers, who have been at the forefront of system design for decades, explain how to tap into the power of this dynamic programming environment for more effective and efficient management of metadata—and introspection and interoperability between tools.
Using readily available technology, the text details how to capture constraints and requirements at high levels and describes how to percolate them during the refinement process. Departing from proprietary environments built around System Verilog and VHDL, this cutting-edge reference includes an open source environment (ESys.NET) that readers can use to experiment with new ideas, algorithms, and design methods; and to expand the capabilities of their current tools. It also covers:
Modeling and simulation—including requirements specification, IP reuse, and applications of design patterns to hardware/software systems
Simulation and validation—including transaction-based models, accurate simulation at cycle and transaction levels, cosimulation and acceleration technique, as well as timing specification and validation
Practical use of the ESys.NET environment
Worked examples, end of chapter references, and the ESys.NET implementation test bed make this the ideal resource for system engineers and students looking to maximize their embedded system designs.
El Mostapha Aboulhamid, Frederic Rousseau
Introduction. MODELING AND SPECIFICATION. H-level requirements engineering for electronic system-level design. Transaction Level Modeling with .Net. Matching Design Patterns Concepts with Hardware Concepts. SIMULATION. A Service Oriented Simulation framework Using .Net Technologies. Co-simulation of Multi-Language Descriptions of Heterogeneous Systems. VERIFICATION. Implementing LTL Based Verification Through Reflection. Timing Constraints Verification. Extension of Esys.net by System Verilog Assertions. SYNTHESIS AND IMPLEMENTATION. OS Space Exploration and Software Synthesis. Design and Implementation of a CIL Processor for Embedded Applications. Conclusion. References. Index.
Erscheint lt. Verlag | 28.9.2009 |
---|---|
Zusatzinfo | 28 Tables, black and white; 129 Illustrations, black and white |
Verlagsort | Bosa Roca |
Sprache | englisch |
Maße | 156 x 234 mm |
Gewicht | 566 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Technik ► Elektrotechnik / Energietechnik | |
Technik ► Umwelttechnik / Biotechnologie | |
ISBN-10 | 1-4398-1211-X / 143981211X |
ISBN-13 | 978-1-4398-1211-2 / 9781439812112 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
25,00 €