£43.00

It has never been this cheap. We have no record of a lower price.

£43 today · cheaper than every other day in the last 3 months

Südwestdeutscher Verlag für Hochschulschriften Spezifikation, Simulation und Validierung von Prozessoren: Spezifikation auf einem hohen Abstraktionsniveau, modellbasiertes Testen, dynamische Validierung, Simulation

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 35 days · 35 data points (no recent data)

Historical
Generating forecast…
£43.00 £40.85 £41.71 £42.57 £43.43 £44.29 £45.15 11 August 2026 19 August 2026 28 August 2026 05 September 2026 14 September 2026
View at Amazon ↗

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↑ Price chart
when this has been cheap or pricey
↑ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 35 days • 1 price levels

Days at Price
35 days 0 9 18 26 35 £43 Days at Price

Price Analysis

Most common price: £43 (35 days, 100.0%)

Price range: £43 - £43

Price levels: 1 different prices over 35 days

Description

In vielen Bereichen werden Spezialanwendungen mit hohen Ansprüchen an die Hardware entwickelt. Dabei ist es sinnvoll, neben der Software- und Compileroptimierung auch die Prozessoren zu optimieren. Dieses Buch trägt dazu bei, die Entwickler bei dem Entwurf von Prozessoren zu unterstützen. Das für diesen Zweck entwickelte Werkzeugsystem beschreibt die visuelle domänenspezifische Sprache ViCE-UPSLA für den Entwurf von Prozessoren. Mittels integrierter Generatoren im Werkzeugsystem können wahlweise zyklengenaue Mikroarchitektur- oder Instruktionssatzsimulatoren aus einer Spezifikation vollständig generiert werden. Ein weiterer Schwerpunkt dieses Buches liegt in der Validierung der Entwürfe. Die dynamischen Validierungsmethoden greifen die Konzepte aus dem modellbasierten Testen auf, indem aus der Prozessorspezifikation Testfälle für die dynamische Validierung automatisch generiert werden. Für Entwurf und Bearbeitung der Testfälle wird eine weitere visuelle Spezifikationssprache vorgestellt. Die Sprache sowie die Methoden zur automatischen Testfallgenerierung werden in diesem Buch erläutert.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
19 September 2013
Listed Since
26 October 2013

Barcode

No barcode data available

Similar Products You Might Like

System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
81% match

System-Level Validation: High-Level Modeling and Directed Test Generation Techniques

Springer

£65.61 27 Oct 2026
Processor Design: System-On-Chip Computing for ASICs and FPGAs
81% match

Processor Design: System-On-Chip Computing for ASICs and FPGAs

Springer

£113.31 21 Oct 2026
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
81% match

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Springer

£88.14 15 Oct 2026
Design and Verification of Microprocessor Systems for High-Assurance Applications
81% match

Design and Verification of Microprocessor Systems for High-Assurance Applications

Springer

£80.67 29 Aug 2026
Processor Description Languages (Systems on Silicon): Volume 1
80% match

Processor Description Languages (Systems on Silicon): Volume 1

Elsevier

£58.91 15 Sep 2026
Harnessing VLSI System Design with EDA Tools
80% match

Harnessing VLSI System Design with EDA Tools

Springer

£74.17 22 Oct 2026
VHDL and FPLDs in Digital Systems Design, Prototyping and Customization
79% match

VHDL and FPLDs in Digital Systems Design, Prototyping and Customization

Springer

£85.68 29 Aug 2026
Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies (Embedded Systems)
79% match

Embedded Software Design and Programming of Multiprocessor System-on-Chip: Simulink and System C Case Studies (Embedded Systems)

Springer

£80.67 22 Oct 2026
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
79% match

High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)

Springer

£74.17 21 Oct 2026
System Synthesis with VHDL
79% match

System Synthesis with VHDL

Springer

£110.99 23 Oct 2026
UML-B Specification for Proven Embedded Systems Design
79% match

UML-B Specification for Proven Embedded Systems Design

Springer

£45.64 29 Oct 2026
Describing and Simulating Dynamic Reconfiguration in SystemC: Exemplified by a Dedicated 3D Collision Detection Hardware
79% match

Describing and Simulating Dynamic Reconfiguration in SystemC: Exemplified by a Dedicated 3D Collision Detection Hardware

£89.00 17 Oct 2026
Multiprocessor Systems on Chip: Design Space Exploration
79% match

Multiprocessor Systems on Chip: Design Space Exploration

Springer

£76.42 22 Oct 2026
Multi-Level Simulation for VLSI Design: 18 (The Springer International Series in Engineering and Computer Science, 18)
79% match

Multi-Level Simulation for VLSI Design: 18 (The Springer International Series in Engineering and Computer Science, 18)

Springer

£74.72 23 Oct 2026
UML-B Specification for Proven Embedded Systems Design
79% match

UML-B Specification for Proven Embedded Systems Design

Springer

£109.62 22 Oct 2026
Post-Silicon and Runtime Verification for Modern Processors
79% match

Post-Silicon and Runtime Verification for Modern Processors

Springer

£110.37 24 Oct 2026
Application Analysis Tools for ASIP Design: Application Profiling and Instruction-set Customization
78% match

Application Analysis Tools for ASIP Design: Application Profiling and Instruction-set Customization

Springer

£80.67 23 Oct 2026
High-Performance Energy-Efficient Microprocessor Design (Integrated Circuits and Systems)
78% match

High-Performance Energy-Efficient Microprocessor Design (Integrated Circuits and Systems)

Springer

£80.67 21 Oct 2026
System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)
78% match

System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)

Springer

£75.68 24 Oct 2026
Multiprocessor System-on-Chip: Hardware Design and Tool Integration
78% match

Multiprocessor System-on-Chip: Hardware Design and Tool Integration

Springer

£103.95 25 Oct 2026
SystemVerilog Verification Methodology Manual,
78% match

SystemVerilog Verification Methodology Manual,

Springer

£48.84 15 Sep 2026
Creating Assertion-Based IP (Integrated Circuits and Systems)
78% match

Creating Assertion-Based IP (Integrated Circuits and Systems)

Springer

£80.67 29 Oct 2026
System Design: A Practical Guide with SpecC
78% match

System Design: A Practical Guide with SpecC

Springer

£113.03 23 Oct 2026
System Design: A Practical Guide with SpecC
78% match

System Design: A Practical Guide with SpecC

Springer

£109.62 23 Oct 2026