Digital simulation methods (15 Ergebnisse)
Weitere Bilder- Hardcover
Anbieter: BoundlessBookstore, Wallingford, Vereinigtes KönigreichBoundlessBookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 3,61
EUR 8,15 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Good. Good condition. Light wear to boards. Content is clean and bright. Good DJ with some edge wear and creasing.
- Hardcover
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 3,01
EUR 15,88 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Dust jacket in good condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:0901223506.
Verlag: U. S. Geological Survey Water - Resources Investigations Reports 79-114, 103 Pp.
- Softcover
Anbieter: Eryops Books, Stephenville, TX, USAEryops Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 8,96
EUR 5,24 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Soft Cover. Zustand: Good. Xerox of report; softcovers; comb-bound; minor shelfwear and light soiling of covers; o/w in good condition.
- Hardcover
Anbieter: Antiquariat Kelifer, Flensburg, DeutschlandAntiquariat Kelifer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: GIAQ
Zustand: Gebraucht - Gut
EUR 21,00
EUR 9,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Gut. XIV, 385 S., with 56 Figures. Besitzvermerk. Einband minimal berieben und bestoßen. Schnitt teils minimal fleckig. Sonst guter Gesamtzustand. Sprache: Englisch Gewicht in Gramm: 698 Gr.-8°(=22,5-25cm), Hardcover/Pappeinband.
- Hardcover
- Erstausgabe
Anbieter: Cotswold Internet Books, Cheltenham, Vereinigtes KönigreichCotswold Internet Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 15,04
EUR 16,34 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
1st edition. IEE Monograph series 15. Text clean; binding tight; a few pages slightly bent at top corner. Dust jacket worn at top edge Used - Very Good. VG hardback in Good dust jacket.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 52,02
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 56,69
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 29,07
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 29,95
EUR 60,99 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Integrated circuit capacity follows Moore's law, and chips are commonly produced at the time of this writing with over 70 million gates per device. Ensuring correct functional behavior of such large designs before fabrication poses an extremely chall…enging problem. Formal verification validates the correctness of the implementation of a design with respect to its specification through mathematical proof techniques. Formal techniques have been emerging as commercialized EDA tools in the past decade. Simulation remains a predominantly used tool to validate a design in industry. After more than 50 years of development, simulation methods have reached a degree of maturity, however, new advances continue to be developed in the area. A simulation approach for functional verification can theoretically validate all possible behaviors of a design but requires excessive computational resources. Rapidly evolving markets demand short design cycles while the increasing complexity of a design causes simulation approaches to provide less and less coverage. Formal verification is an attractive alternative since 100% coverage can be achieved; however, large designs impose unrealistic computational requirements. Combining formal verification and simulation into a single integrated circuit validation framework is an attractive alternative.This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime. After surveying the basic principles of formal verification and simulation, this book describes the IDV approach to integrated circuit functional validation.Table of Contents: Introduction / Formal Methods Background / Simulation Approaches / Integrated Design Validation System/ Conclusion and Summary.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 36,20
EUR 62,38 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 29,15
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Digital System Verification | A Combined Formal Methods and Simulation Framework | Lun Li (u. a.) | Taschenbuch | Synthesis Lectures on Digital Circuits & Systems | xiv | Englisch | 2010 | Springer | EAN 9783031798146 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 H…eidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie, 2014
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 47,00
EUR 61,74 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - CAE ProNet methodology is to develop CAE network considering interdependencies among digital validations. Utilizing CAE network and considering industrial requirements, an algorithm is applied to execute a product, vehicle development phase, and load… case priority oriented CAE process. Major advantage of this research work is to improve quality of simulation results, reducing time-to-market and decreasing dependencies on hardware prototype.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 42,65
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced digital-analogue Galvoscanner position control system | Advanced methods of position control with integrated, fully controlled power supply module - simulation and development | Micha¿ Widlok | Taschenbuch | 100 S. | Englisch | 2010 | LAP LAMBERT Academic Publishing | EAN 9783838328065 | Veran…twortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 47,00
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. CAE - PROCESS AND NETWORK : A methodology for continuous product validation process based on network of various digital simulation methods | Gagan Syal | Taschenbuch | 236 S. | Englisch | 2014 | Karlsruher Institut für Technologie | EAN 9783731500902 | Verantwortliche Person für die EU: Karlsruher Inst…itut für Technologie (KIT), Institut AIFB, Kaiserstr. 89, 76133 Karlsruhe, verlag[at]aifb[dot]uni-karlsruhe[dot]de | Anbieter: preigu.
- Hardcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 21,60
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
