Springer Sivumäärä: 167 sivua Asu: Pehmeäkantinen kirja Painos: 2011 ed. Julkaisuvuosi: 2014, 01.10.2014 (lisätietoa) Kieli: Englanti
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.
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle. Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.