Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

High-Level Verification

Methods and Tools for Verification of System-Level Designs

Language EnglishEnglish
Book Hardback
Book High-Level Verification Sudipta Kundu
Libristo code: 01424502
Publishers Springer-Verlag New York Inc., May 2011
The growing complexity of the design process for systems on chip (SOCs) allows the use of more deman... Full description
? points 240 b
97.89 € VAT included
Low in stock at our supplier Shipping in 13-18 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Kalendář 2026 Bibliotheca, nástěnný, 56 x 42 cm / Calendar/Diary Calendar
common.buy 11.19 €
Jak obehrát železnou oponu - Počítačové hry a participativní kultura v normalizačním Československu Jaroslav Švelch / Book Paperback
common.buy 12.69 €
SpongeBob 4/2025 / Book Book
common.buy 1.69 €
Bassin Houiller Et Permien d'Autun Et d'Epinac. Flore Fossile Atlas Tome 2-1 ZEILLER-R / Book Paperback
common.buy 13.89 €
Vol de nuit d'Antoine de Saint-Exupéry (Fiche de lecture) Maria Puerto Gomez / Book Paperback
common.buy 11.79 €
Feux-Follets, Poesies. Tome 2 H T Poisson / Book Paperback
common.buy 25.69 €
EU-Chemikalienverordnung (REACH) I Zeilhofer-Ficker / Book Paperback
common.buy 9.99 €
Junior, 1 Blu-ray Wendy Greene Bricmont / Video Blu-ray
common.buy 13.99 €
expansao da Educacao Superior no Amapa Mendes Allan Jasper / Book Paperback
common.buy 42.69 €
Homoeopathie und Mediation Gerhard Kohlenz / Book Paperback
common.buy 17.95 €
Wie Manner sich verlieben Danny Adams / Book Paperback
common.buy 17.90 €

The growing complexity of the design process for systems on chip (SOCs) allows the use of more demanding computing languages, with a principle goal being verification at a higher level of abstraction. This book focuses on these high-level verification methods.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name High-Level Verification
Author Sudipta Kundu, Sorin Lerner, Rajesh Gupta
Language English
Binding Book - Hardback
Date of issue 2011
Number of pages 167
EAN 9781441993588
ISBN 1441993584
Libristo code 01424502
Publishers Springer-Verlag New York Inc.
Weight 420
Dimensions 163 x 247 x 17

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Technology, Engineering, Agriculture > Technology: general issues > Technical design
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

The History of Castles: Fortifications Around the World Christopher Gravett / Book Paperback
common.buy 22.59 €
20 Pencil Pele Patterns for Carvers Al Streetman / Book Paperback
common.buy 10.09 €
Life and Works of Charles Lamb. with Introduction and Notes by A. Ainger. Alfred Ainger / Book Paperback
common.buy 22.59 €
Time Machine H G Wells / Book Paperback
common.buy 9.99 €
Affordable
Good Enough Mother Bev Thomas / Book Paperback
common.buy 7.09 €
Top
Heir to Sevenwaters Juliet Marillier / Book Paperback
common.buy 6.19 €
Demand Response Application in Smart Grids Sayyad Nojavan / Book Hardback
common.buy 132.69 €
Joplin for Students, Bk 3: 7 Graded Arrangements for Intermediate Pianists Alfred Publishing / Book Paperback
common.buy 12.29 €
The Parent's Guide to Food Allergies: Clear and Complete Advice from the Experts on Raising Your Food-Allergic Child Marianne Barber / Book Paperback
common.buy 17.39 €
Great Mistakes of Australian History Martin Crotty / Book Paperback
common.buy 22.69 €
Chickens Say What? J. L. Baumann / Book Paperback
common.buy 17.19 €
Mass Tort Deals Elizabeth Chamblee Burch / Book Hardback
common.buy 119.49 €
Retracing Our Steps Carlos Ayesta / Book Hardback
common.buy 41.99 €
ADV OF THE MTK SEWER RAT D. L. McCann / Book Paperback
common.buy 15.39 €
With Americans of Past and Present Days J J Jusserand / Book Paperback
common.buy 5.79 €
Popular Government in the United States Charles Hyneman / Book Hardback
common.buy 209.49 €
The Blind African Slave, Or Memoirs of Boyrereau Brinch, Nick-named Jeffrey Brace: Containing an Account of the Kingdom of Bow Woo, in the Interior of Benjamin F Prentiss / Book Paperback
common.buy 15.39 €
We Move Tonight Joseph Ewart Layne / Book Paperback
common.buy 10.89 €
How To Assess Students and Trainees in Medicine and Health Olwyn Westwood / Book Paperback
common.buy 39.49 €
Top
I Hate Fairyland Compendium One YOUNG SKOTTIE / Book Paperback
common.buy 21.49 €
Research Methods in Kinesiology and the Health Sciences Susan Hall / Book Hardback
common.buy 96.49 €
Modeling and Analysis of Voice and Data in Cognitive Radio Networks, 1 Subodha Gunawardena / Book Paperback
common.buy 45.49 €
Sly Moves Sylvester Stallone / Book Hardback
common.buy 18.19 €
Coming soon
Amazing Spider-Man STAN / Book Paperback
common.buy 3.89 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?