System Level Design with .Net Technology -

System Level Design with .Net Technology

Buch | Hardcover
320 Seiten
2009
Crc Press Inc (Verlag)
978-1-4398-1211-2 (ISBN)
143,40 inkl. MwSt
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.

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
Grundlagen – Anwendungen – Perspektiven

von Matthias Homeister

Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99
Eine Einführung in die Systemtheorie

von Margot Berghaus

Buch | Softcover (2022)
UTB (Verlag)
25,00