Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation, 9780387244112 (0387244115), Springer, 2005

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods, and unveils the inner workings of symbolic simulation. The core of this book focuses on new techniques that narrow the performance gap between the complexity of digital systems and the limited ability to verify them. In particular, it covers a range of solutions that exploit approximation and parametrization methods, including quasi-symbolic simulation, cycle-based symbolic simulation, and parameterizations based on disjoint-support decompositions.

In structuring this book, the author’s hope was to provide interesting reading for a broad range of design automation readers. The first two chapters provide an overview of digital systems design and, in particular, verification. Chapter 3 reviews mainstream symbolic techniques in formal verification, dedicating most of its focus to symbolic simulation. The fourth chapter covers the necessary principles of parametric forms and disjoint-support decompositions. Chapters 5 and 6 focus on recent symbolic simulation techniques, and the final chapter addresses key topics needing further research.

Scalable Hardware Verification with Symbolic Simulation is for verification engineers and researchers in the design automation field.

Highlights:

A discussion of the leading hardware verification techniques, including simulation and formal verification solutions

Important concepts related to the underlying models and algorithms employed in the field

The latest innovations in the area of symbolic simulation, exploiting techniques such as parametric forms and decomposition properties of Boolean functions

Providing insights into possible new developments in the hardware verification

Comments

Amazing Books

Information Security Applications: 11th International Workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010

Springer, 2011

The 11th International Workshop on Information Security Applications (WISA 2010)was held on Jeju Island, Korea, during August 24–26, 2010. The workshop was hosted by the Korea Institute of Information Security and Cryptology (KIISC), supported by the Electronics and Telecommunications Research Institute (ETRI) and the Korea...

RoboCup 2009: Robot Soccer World Cup XIII (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Springer, 2010

This book includes the thoroughly refereed post-conference proceedings of the 13th RoboCup International Symposium, held in Graz, Austria, in June/July, 2009 - representing the core meeting for presentation and discussion of scientific contributions to a variety of research areas related to all RoboCup divisions (RoboCupSoccer, RoboCupRescue,...

Professional Pen Testing for Web Applications (Programmer to Programmer)

Wrox Press, 2006

There is no such thing as "perfect security" when it comes to keeping all systems intact and functioning properly. Good penetration (pen) testing creates a balance that allows a system to be secure while simultaneously being fully functional. With this book, you'll learn how to become an effective penetrator (i.e., a white hat or ethical...

Adobe InDesign CS5 on Demand

Que, 2010

Need answers quickly? Adobe InDesign CS5 on Demand provides those answers in a visual step-by-step format. We will show you exactly what to do through lots of full color illustrations and easy-to-follow instructions.

...

Integrated Computing Technology: First International Conference, INTECH 2011

Springer, 2011

On behalf of the INTECH 2011 Program Committee and the University of Sao Carlos in Brazil, we welcome you to the proceedings of the First International Conference on Integrated Computing Technology (INTECH 2011). The INTECH 2011 conference explored new advances in computing technology and its applications. It brought together...

The Best Damn Management Book Ever: 9 Keys to Creating Self-Motivated High Achievers

John Wiley & Sons, 2011

Anyone who knows me knows I am a maniacal sports fan. I religiously follow Major League Baseball (San Francisco Giants), NFL football (New York Giants), and NBA basketball (Boston Celtics). My knowledge of useless sports trivia has won me numerous drinks in more bars than I care to remember. I see nothing wrong with Jimmy Fallon’s...