Search results (Open Library)

Search Results

There are 14 matching records. Show: List / Covers

	Practical design verification Cambridge University Press, 2009
	Formal hardware verification Springer, 1997
	Verification plans by Peet James Kluwer Academic Publishers, 2004
	Hardware design verification by William K. C. Lam Prentice Hall Professional Technical Reference, 2005
	Writing testbenches by Janick Bergeron Kluwer Academic Publishers, 2003
	Functional verification coverage measurement and analysis by Andrew Piziali Kluwer Academic Publishers, 2004
	Formal equivalence checking and design debugging by Shi-Yu Huang Kluwer Academic Publishers, 1998
	A unified approach for timing verification and delay fault testing by Mukund Sivaraman Kluwer Academic, 1998
	Professional verification by Wilcox, Paul Kluwer Academic, 2004
	Co-verification of hardware and software for ARM SoC design by Jason R Andrews Elsevier Newnes, 2005
	Symbolic simulation methods for industrial formal verification by Robert B. Jones Kluwer Academic Publishers, 2002
	Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Michael Yoeli John Wiley & Sons, 2008
	Assertion-based design by Harry Foster Kluwer Academic Publishers, 2004
	Verification techniques for system-level design by Masahiro Fujita Morgan Kaufmann Publishers, 2008

Can't find the book you are searching for? Add a new book.

Search = 0.16 sec; Presentation = 0.00 sec