LIBRISTO
LIBROAMANTO
povinné
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 Kuriér GLS 3.99 Zberné miesto GLS 2.49 SPS 3.99 SPS Parcel Shop 2.99 Packeta kurýr 3.99 Slovenská pošta 3.99 Zberné miesto DPD 2.99 Packeta 2.99

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Constraint-Based Verification

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Constraint-Based Verification Jun Yuan
Libristo kód: 01381355
Nakladateľstvo Springer-Verlag New York Inc., január 2006
Constraint-Based Verification covers an emerging field in functional verification of electronic desi... Celý popis
? points 265 b
109.45
Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

Až 30 dní na vrátenie tovaru


Zákazníci tiež kúpili


La Petite Sirène CP Niveau 1 Isabelle Albertin / Kniha Brožovaná
common.buy 6.27
CzuCzu Dłuuugie rysowanki Rysuję szlaczki Łatwe Opracowanie zbiorowe / Kniha Brožovaná
common.buy 1.81
Albrecht Dürer - dt. Christof Metzger / Kniha Pevná
common.buy 42.22

Constraint-Based Verification covers an emerging field in functional verification of electronic designs, referred to as the "constraint-based verification." The topics are developed in the context of a wide range of dynamic and static verification approaches including simulation, emulation, and formal methods. The goal is to show how constraints, or assertions, can be used towards automating the generation of testbenches, resulting in a seamless verification flow. Topics such as verification coverage, and connection with assertion based verification, are also covered.The book targets verification engineers as well as researchers. It covers both methodological and technical issues. Particular stress is given to the latest advances in functional verification.The research community has witnessed recent growth of interests in constraint-based functional verification. Various techniques have been developed. They are relatively new, but have reached a level of maturity so that they are appearing in commercial tools such as Vera and System Verilog.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Constraint-Based Verification
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 2006
Počet strán 254
EAN 9780387259475
ISBN 0387259473
Libristo kód 01381355
Váha 1220
Rozmery 155 x 235 x 20
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať


Hedgehog-Gli Signaling in Human Disease Ariel Ruiz i Altaba / Kniha Pevná
common.buy 167.88
Conjugate Direction Methods in Optimization M.R. Hestenes / Kniha Brožovaná
common.buy 167.88
Fuel Cell Systems Explained, Third Edition Andrew Dicks / Kniha Pevná
common.buy 117.45
Top
Namesake Adrienne Young / Kniha Pevná
common.buy 15.08
Top
Neri Oxman: Mediated Matter PAOLA ANTONELLI / Kniha Brožovaná
common.buy 53.76
Top
Call of Cthulhu and Other Stories LOVECRAFT H P / Kniha Brožovaná
common.buy 8.09
Top
Little Witch Academia, Vol. 3 (manga) TRIGGER / Kniha Brožovaná
common.buy 7.89
your name. Another Side: Earthbound. Vol. 1 Makoto Shinkai / Kniha Brožovaná
common.buy 13.26
Top
The Priory of the Orange Tree Samantha Shannon / Kniha Pevná
common.buy 19.23
What is Power? Byung-Chul Han / Kniha Brožovaná
common.buy 15.79
Annie Leibovitz: Wonderland Annie Leibovitz / Kniha Pevná
common.buy 84.54
Classical Guitar Anthology Hal Leonard Corp / Kniha Kniha
common.buy 21.05
Mission Alert: Greyfields Benjamin Hulme Cross / Kniha Brožovaná
common.buy 8.60
Top
Yona of the Dawn, Vol. 7 Mizuho Kusanagi / Kniha Brožovaná
common.buy 9.71
Top
Our Dark Duet V. E. Schwab / Kniha Brožovaná
common.buy 10.82
Top
Sweet Venom (Standard Edition) Rina Kent / Kniha Brožovaná
common.buy 14.07
Omie 17 G. Michael Smith / E-kniha Adobe ePub DRM
common.buy 2.22
Code of Federal Regulations, Title 21 Food Drugs 600 - 799, Revised as of January 2024 Office of the Federal Register (U.S.) / Kniha Brožovaná
common.buy 24.80

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?