wyszukanych pozycji: 6
Japanese Society and Lay Participation in Criminal Justice: Social Attitudes, Trust, and Mass Media
ISBN: 9789811003370 / Angielski / Twarda / 2018 / 282 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
623,99 zł |
Japanese Society and Lay Participation in Criminal Justice: Social Attitudes, Trust, and Mass Media
ISBN: 9789811338168 / Angielski / Miękka / 2019 / 282 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
448,49 zł |
Design and Testing of Reversible Logic
ISBN: 9789811388200 / Angielski / Twarda / 2019 / 265 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
389,98 zł |
Design and Testing of Reversible Logic
ISBN: 9789811388231 / Angielski / Miękka / 2020 / 265 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
389,98 zł |
Verification Techniques for System-Level Design
ISBN: 9780123706164 / Angielski / Twarda / 2007 / 240 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. This book will explain how to verify SoC (Systems on Chip) logic designs using "formal" and "semiformal" verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as in "functional" verification), but many subtle design errors cannot be caught by simulation. Recently, formal verification, giving mathematical proof of the correctness of designs, has been gaining popularity. For higher design productivity, it is essential to debug designs...
This book will explain how to verify SoC (Systems on Chip) logic designs using "formal" and "semiformal" verification techniques. The critical issue t...
|
|
cena:
323,40 zł |
Vlsi-Soc: Design and Engineering of Electronics Systems Based on New Computing Paradigms: 26th Ifip Wg 10.5/IEEE International Conference on Very Larg
ISBN: 9783030234270 / Angielski / Miękka / 2020 / 281 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
194,97 zł |