Low Power Hardware Synthesis from Concurrent Action Oriented Specifications
Low Power Hardware Synthesis from Concurrent Action-Oriented SpecificationsGaurav SinghSandeep K. Shukla This book introduces novel techniques for generating low-power hardware from a high-level description of a design in terms of Concurrent Action-Oriented Specifications (CAOS). It also describes novel techniques for formal verification of such designs. It will provide the readers with definitions of various power optimization and formal verification problems related to CAOS-based synthesis, necessary background concepts, techniques to generate hardware according to the design's power requirements, and detailed experimental results obtaine…
Mehr
CHF 179.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V301:
Libri-Titel folgt in ca. 2 Arbeitstagen
Produktdetails
Weitere Autoren: Shukla, Sandeep K.
- ISBN: 978-1-4419-6480-9
- EAN: 9781441964809
- Produktnummer: 6573494
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 153 S.
- Masse: H24.1 cm x B16.4 cm x D2.0 cm 422 g
- Abbildungen: 100 schwarz-weiße Abbildungen
- Gewicht: 422
11 weitere Werke von Gaurav Singh:
Bewertungen
Anmelden