High-Level Verification KUNDU, Sudipta ; Lerner, Sorin ; Gupta, Rajesh K. Methods and Tools for Verification of System-Level Designs

The verification techniques presented in this book include methods for verifying properties of high-level designs and methods for verifying that the translation from high-level design to a low-level Register Transfer Language (RTL) design preserves semantics.
Voorraad:
Nieuw
Verkrijgbaar in
Webshop
Prijs:
€ 141,85
Voorraad:
Levertijd:

Bezorgtijd: 10 tot 12 Dagen.

Winkelvoorraad

Het kan zijn dat er op dit moment een verkoop plaatsvindt, waardoor de actuele voorraad afwijkt. Hier kunnen geen rechten aan worden ontleend!

Levertijd

U kunt uw bestelling online plaatsen en betalen, bij het afrekenen kunt u ervoor kiezen om het boek in de gewenste winkel op te halen op dat moment vervallen ook de verzendkosten Indien u kiest voor afhalen in een filiaal, zal uw bestelling meestal op korte termijn, soms zelfs direct, voor u klaarliggen. Wij nemen in alle gevallen contact met u op wanneer het artikel afgehaald kan worden. De bezorgtijd van Nederlandse titels en tweedehands bedraagt gemiddeld 1-2 werkdagen. De bezorgtijd van anderstalige boeken bedraagt gemiddeld 2-5 werkdagen. De bezorgtijd van boeken die geïmporteerd worden is verschillend, gemiddeld 5-10 werkdagen. U krijgt bericht wanneer het levermoment bekend is.

.
pro-mbooks1 : broekhuis