Cover Image

Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings /

Bibliographic Details
Corporate Author:	CAV 2000. Chicago, Ill (Conference)
Other Authors:	Emerson, E. Allen, Sistla, Aravinda Prasad
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2000]
Series:	Lecture notes in computer science. 1855.
Subjects:	Computer software > Verification > Congresses. Integrated circuits > Verification > Congresses.

Similar Items

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published: (2006)

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
Published: (2002)

Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
Published: (2001)

Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings /
Published: (1999)

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings /
Published: (1998)

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
Published: (2002)

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings /
Published: (2003)

Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 ; proceedings /
Published: (1999)

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings /
Published: (2004)

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /
Published: (2005)

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /
Published: (1997)

Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published: (2006)

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings /
Published: (2004)

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /
Published: (2005)

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /
Published: (2007)

Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)

Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)

Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)

Verification plans : the five-day verification strategy for modern hardware verification languages /
by: James, Peet
Published: (2004)

Principles of functional verification /
by: Meyer, Andreas (Andreas S.)
Published: (2003)

Principles of functional verification /
by: Meyer, Andreas
Published: (2004)

Practical design verification /
Published: (2009)

Principles of functional verification /
by: Meyer, Andreas (Andreas S.)
Published: (2003)

Effective functional verification : principles and processes /
by: Vasudevan, Srivatsa
Published: (2006)

Hardware design verification : simulation and formal method-based approaches /
by: Lam, William K. C., 1962-
Published: (2005)

Advanced verification techniques : a SystemC based approach for successful tapeout /
by: Singh, Leena, 1971-
Published: (2004)

Functional verification coverage measurement and analysis /
by: Piziali, Andrew
Published: (2004)

Professional verification : a guide to advanced functional verification /
by: Wilcox, Paul, MBA
Published: (2004)

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings /
Published: (1994)

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings /
Published: (1996)

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings /
Published: (1995)

Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings /
Published: (1993)

Applied formal verification /
by: Perry, Douglas L.
Published: (2005)

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings /
Published: (2000)

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /
Published: (1992)

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /
Published: (1993)

Scalable hardware verification with symbolic simulation /
by: Bertacco, Valeria
Published: (2006)

Comprehensive functional verification the complete industry cycle /
by: Wile, Bruce
Published: (2005)

Comprehensive functional verification the complete industry cycle /
by: Wile, Bruce
Published: (2005)

Computer aided verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
Published: (2010)