Springer Science & Business Media, LLC
101 Philip Dr., Assinippi Park
Norwell, MA 02061
866-269-9527
www.springer.com

11 New verification books from Springer for DVCon 2007 include:

Writing Testbenches Using SystemVerilog, Bergeron
A Roadmap for Formal Property Verification, Dasgupta
A Practical Introduction to PSL, Eisner/Fisman
Computation Engineering: Applied Automata Theory and Logic, Gopalakrishnan
Hardware Verification with C++, Mintz/Ekendahl
SystemVerilog for Verification, Spear
SystemVerilog for Design, Second Edition, Sutherland/Davidmann/Flake
Effective Functional Verification, Vasudevon
Constraint-Based Verification, Yuan/Pixley/Aziz
Creating Assertion Based IP, Foster/Krolnik
Metric Driven Design Verification: An Engineer's and Executive's Guide to First Pass Success, Carter/Hemmady.

Consultants' Corner
Gary Stringham & Associates, LLC
Sunburst Design, Inc.
Sutherland HDL, Inc.
XtremeEDA Corp.