Advanced Techniques for Embedded Systems Design and Test
Editat de Juan C. López, Román Hermida, Walter Geisselhardten Limba Engleză Paperback – 3 dec 2010
Advanced Techniques for Embedded Systems Design and Test is a comprehensive book presenting recent developments in methodologies and tools for the specification, synthesis, verification, and test of embedded systems, characterized by the use of high-level languages as a road to productivity. Each specific part of the design process, from specification through to test, is looked at with a constant emphasis on behavioral methodologies.
Advanced Techniques for Embedded Systems Design and Test is essential reading for all researchers in the design and test communities as well as system designers and CAD tools developers.
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 935.40 lei 6-8 săpt. | |
Springer Us – 3 dec 2010 | 935.40 lei 6-8 săpt. | |
Hardback (1) | 941.36 lei 6-8 săpt. | |
Springer Us – 28 feb 1998 | 941.36 lei 6-8 săpt. |
Preț: 935.40 lei
Preț vechi: 1169.25 lei
-20% Nou
Puncte Express: 1403
Preț estimativ în valută:
179.08€ • 194.03$ • 149.54£
179.08€ • 194.03$ • 149.54£
Carte tipărită la comandă
Livrare economică 12-26 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781441950314
ISBN-10: 1441950311
Pagini: 308
Ilustrații: XIV, 290 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:Softcover reprint of hardcover 1st ed. 1998
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 1441950311
Pagini: 308
Ilustrații: XIV, 290 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:Softcover reprint of hardcover 1st ed. 1998
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
1. Embedded System Specification.- 2. Supporting Early System-Level Design Space Exploration in the Deep Submicron Era.- 3. Knowledge Based Hardware-Software Partitioning of Electronic Systems.- 4. An Industrial Case Study in HW-SW Co-Design using CASTLE.- 5. Automatic Formal Derivation Applied to High-Level Synthesis.- 6. Overlapped Scheduling Techniques for High-Level Synthesis and Multiprocessor Realizations of DSP Algorithms.- 7. Synthesis of Reconfigurable Control Devices Based on Object-Oriented Specifications.- 8. Estimation of Circuit Physical Features in High-Level Synthesis Based on Standard Cells.- 9. Test Synthesis of Digital Systems.- 10. Advances in ATPG by Exploiting the Behavioral View.- 11. Behavioral Fault Simulation.