| Autor: | Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar |
| Lehekülgede arv: | 408 |
| Ilmumisaasta: | 2015 |
| Kauba ID: | 13529206 |
Tähelepanu! Tarneajad on esialgsed ning selguvad pärast tellimuse vormistamist ja tasumise aega. Lõplik tarnekuupäev on märgitud tellimuse kinnituses.
Tähelepanu! Tarneajad on esialgsed ning selguvad pärast tellimuse vormistamist ja tasumise aega. Lõplik tarnekuupäev on märgitud tellimuse kinnituses.
Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice for working engineers integrating these techniques into their work.Building on a basic knowledge of System Verilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. The text prepares readers to effectively introduce FV in their organization and deploy FV techniques to increase design and validation productivity.Presents formal verification algorithms allowing users to gain full coverage without exhaustive simulationProvides discussion of formal verification tools and how they differ from simulation toolsTeaches users how to glean insights into how models work to find initial bugsPresents valuable information from an Intel insider who shares his hard-won knowledge and solutions to complex design problems
| Kauba ID: | 13529206 |
| Kategooria: | Ühiskonnateemalised raamatud |
| Tootepakendite arv: | 1 tk. |
| Paki suurus ja kaal (1): | 0,3 x 0,3 x 0,1 m, 0,2 kg |
| Kirjastus: | Elsevier Science & Technology |
| Raamatu keel: | Inglise keel |
| Kaane tüüp: | Täpsustamata |
| Vorming: | Traditsiooniline raamat |
| Tüüp: | Täpsustamata |
| Raamat väljavõttega: | Ei |
| Autor: | Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar |
| Lehekülgede arv: | 408 |
| Ilmumisaasta: | 2015 |
Toodete pildid on illustratiivsed ja näitlikud. Tootekirjelduses sisalduvad videolingid on ainult informatiivsetel eesmärkidel, seega võib neis sisalduv teave erineda tootest endast. Värvid, märkused, parameetrid, mõõtmed, suurused, funktsioonid, ja / või originaaltoodete muud omadused võivad nende tegelikust väljanägemisest erineda, seega palun tutvuge tootekirjeldustes toodud tootespetsifikatsioonidega.
-20% lisaale valikule toodetele koodiga* 20APP425. Kehtib ainult esimesele ostule äpis! 
Suvi kliki kaugusel! Kõik suvehooajaks vajalik ühest kohast. 