Master your Minecraft
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    Original Essays | November 7, 2014

    Karelia Stetz-Waters: IMG The Hot Sex Tip Cosmo Won't Tell You



    Cosmopolitan Magazine recently released an article titled "28 Mind-Blowing Lesbian Sex Positions." Where was this vital information when I was a... Continue »

    spacer

Verification Techniques for System-Level Design (Margan Kaufmann Series in Systems on Silicon)

by

Verification Techniques for System-Level Design (Margan Kaufmann Series in Systems on Silicon) Cover

 

Synopses & Reviews

Publisher Comments:

This book will explain how to verify SoC logic designs using “formal” and “semi-formal” 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 getting much more attention. So far, most of the books on formal verification target the register transfer level (RTL) or lower levels of design. For higher design productivity, it is essential to debug designs as early as possible. That is, designs should be completely verified at very abstracted design levels (higher than RTL). This book covers all aspects of high-level formal and semi-formal verification techniques for system level designs.

• First book that covers all aspects of formal and semi-formal, high-level (higher than RTL) design verification targeting SoC designs.

• Formal verification of high-level designs (RTL or higher).

• Verification techniques are discussed with associated system-level design methodology.

About the Author

*Spent 15 years at Fujitsu research laboratories. *Research on synthesis and verification of digital systems for more than 25 years *Full professor at VLSI Design and Education Center in the University of TokyoIndradeep Ghosh received the Bachelor of Technology degree in Computer Science and Engineering from the Indian Institute of Technology, Kharagpur, India, in 1993, and the M.A. and Ph.D. degrees in Electrical Engineering from Princeton University, Princeton, New Jersey, in 1995 and 1998, respectively. Since 1998 he has been a member of research staff in at Fujitsu Laboratories of America, Sunnyvale, California. He has authored or co-authored more that 40 technical articles in international journals and conferences and holds 6 US patents. He has given numerous presentations in international conferences and workshops. In Fujitsu he has been involved in design verification and testing of industrial systems that are currently in production. His research interests include testing, verification, and validation of hardware and software systems. He is senior member of the IEEE and a member of the ACM.Mukul Prasad: Mukul Prasad received the Bachelor of Technology degree in Electrical Engineering from the Indian Institute of Technology, Delhi, India, in 1995, and the Ph.D. degree in Electrical Engineering & Computer Sciences from the University of California at Berkeley in 2001. Since 2001 he has been a member of the research staff in the Trusted Systems Innovation group at Fujitsu Laboratories of America in Sunnyvale, California. His doctoral thesis and his subsequent research has involved the development and application of verification technologies such as Satisfiability solvers. His work has received a Best Paper Award at the Design Automation & Test in Europe Conference (DATE 2002). His current research addresses various problems in system-level design validation. He has co-authored more than 20 technical papers and presented three tutorials at international conferences and jointly holds 3 U.S. patents in the area of formal validation.

Senior Researcher, Fujitsu Labs of America, Sunnyvale, CA, USA.

Product Details

ISBN:
9780123706164
Author:
Fujita, Masahiro
Publisher:
Morgan Kaufmann Publishers
Author:
Prasad, Mukul
Author:
Ghosh, Indradeep
Subject:
Engineering / Electrical
Subject:
Integrated circuits
Subject:
Testing
Subject:
Engineering - Electrical & Electronic
Subject:
Electronics - Circuits - Integrated
Subject:
Electronics - Microelectronics
Subject:
Electricity
Subject:
Formal methods (Computer science)
Subject:
Integrated circuits -- Verification.
Subject:
Electricity-General Electricity
Edition Description:
Hardcover
Series:
Margan Kaufmann Series in Systems on Silicon
Publication Date:
20071131
Binding:
HARDCOVER
Language:
English
Illustrations:
Y
Pages:
256
Dimensions:
9.25 x 7.5 in

Related Subjects


Reference » Science Reference » Technology
Science and Mathematics » Electricity » General Electricity
Science and Mathematics » Electricity » General Electronics

Verification Techniques for System-Level Design (Margan Kaufmann Series in Systems on Silicon) New Hardcover
0 stars - 0 reviews
$110.50 Backorder
Product details 256 pages Morgan Kaufmann Publishers - English 9780123706164 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.