alberto sangiovanni vincentelli
Embedded Systems Development
Sofort lieferbarThis book offers readers broad coverage of techniques to model, verify and validate the behavior ...
The Unknown Component Problem
Sofort lieferbarThe Problem of the Unknown Component: Theory and Applicationsaddresses the issue of des...
Security-Aware Design for Cyber-Physical Systems
Sofort lieferbarAddressing the rising security issues during the design stages of cyber-physical systems, this bo...
Security-Aware Design for Cyber-Physical Systems
Print on DemandAddressing the rising security issues during the design stages of cyber-physical systems, this bo...
Algorithms for Synthesis and Testing of Asynchronous Circuits
Print on DemandSince the second half of the 1980s asynchronous circuits have been the subject of a great deal of...
Synchronous Equivalence
Print on DemandInhaltsangabeList of Figures. List of Tables. 1. Introduction. 2. The polis codesign framework. 3...
Algorithms for Synthesis and Testing of Asynchronous Circuits
Print on DemandSince the second half of the 1980s asynchronous circuits have been the subject of a great deal of...
Logic Synthesis for Field-Programmable Gate Arrays
Print on DemandShort turnaround has become critical in the design of electronic systems. Software- programmable ...
Design Systems for VLSI Circuits
Print on DemandSynthesis is a crucial component of future CAll s;ystems. The competitive edge of IC desiBn will ...
Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics
Print on DemandThis book was motivated by the problems being faced with shrinking IC process feature sizes. It i...
Steady-State Methods for Simulating Analog and Microwave Circuits
Print on DemandThe motivation for starting the work described in this book was the interest that Hewlett-Packard...
Hybrid Systems: Computation and Control
Print on DemandThis volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Co...