Professional verification : the guide to advanced functional verification / Paul Wilcox.

Professional verification : the guide to advanced functional verification / Paul Wilcox. the guide to advanced functional verification /

Saved in:

Bibliographic Details
Main Author:	Wilcox, Paul
Format:	Book
Language:	English
Published:	Boston, Mass. ; London : Kluwer Academic, 2004.
Subjects:	Integrated circuits > Verification
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Timing verification of application-specific integrated circuits (ASICs) / Farzad Nekoogar.
by: Nekoogar, Farzad
Published: (1999)

Formal specification and verification of digital systems / George Milne.
by: Milne, George J., 1952-
Published: (1994)

Trace theory for automatic hierarchical verification of speed-independent circuits David L. Dill.
by: Dill, David L.
Published: (1989)

Program verification / Nissim Francez.
by: Francez, Nissim
Published: (1992)

Reasoning in Boolean networks : logic synthesis and verification using testing techniques / by Wolfgang Kunz and Dominik Stoffel.
by: Kunz, Wolfgang
Published: (1997)

Integrated circuit test engineering : modern techniques / Ian A. Grout.
by: Grout, Ian
Published: (2006)

A practical introduction to PSL / Cindy Eisner, Dana Fisman.
by: Eisner, Cindy
Published: (2006)

MTV 2008 Ninth International Workshop on Microprocessor Test and Verification : proceedings, 8-10 December 2008, Austin, Texas, USA / in co-operation with IEEE ... [et al.].
Published: (2009)

ASIC and FPGA verification : a guide to component modeling / Richard Munden.
by: Munden, Richard
Published: (2004)

Seventh International Workshop on Microprocessor Test and Verification proceedings : MTV 2006 : Austin, Texas, 4-5 December, 2006 / sponsored by IEEE Computer Society Test Technology Technical Council (TTTC).
Published: (2007)

Software testing, verification and reliability

MTV 2007 Eighth International Workshop on Microprocessor Test and Verification : proceedings, 5-6 December, 2007, Austin. Texas, USA / sponsored by IEEE Computer Society Test Technology Technical Council (TTTC) ... [et al.].
Published: (2008)

Sixth International Workshop on Microprocessor Test and Verification common challenges and solutions : MTV 2005 : proceedings : Austin, Texas, 3-4 November, 2005 / sponsored by IEEE Computer Society Test Technology Technical Council (TTTC), [edited by Magdy S. Abadir and Li-C. Wang].
Published: (2006)

Verification in economics and history : a sequel to " scientifization " / O. F. Hamouda and B. B. Price.
by: Hamouda, O. F. (Omar F.)
Published: (1991)

Formal verification of robustness and resilience of learning-enabled state estimation systems for robotics
by: Wei Huang, et al.
Published: (2020)

Verification, validation and testing in software engineering Aristides Dasso, Ana Funes [editors].
Published: (2007)

Manufacturing knowledge verification in design support systems
by: Sean D. Cochrane, et al.
Published: (2009)

Formal verification of circuits / Rolf Drechsler.
by: Drechsler, Rolf
Published: (2000)

Fault estimation algorithms: design and verification
by: Jinya Su
Published: (2016)

Model based fault diagnosis system verification using reachability analysis
by: Jinya Su, et al.
Published: (2017)

2008 IEEE International Conference on Software Testing, Verification, and Validation Workshop (ICSTW '08)
Published: (2008)

Manufacturability verification through feature-based ontological product models
by: Najam A. Anjum, et al.
Published: (2012)

Formal verification of robustness and resilience of learning-enabled state estimation systems
by: Wei Huang, et al.
Published: (2024)

Guidance for the verification and validation of neural networks / Laura L. Pullum, Brian J. Taylor, Majorie A. Darrah.
by: Pullum, Laura L.
Published: (2007)

Cross domain knowledge verification: verifying knowledge in foundation based domain ontologies
by: Najam A. Anjum, et al.
Published: (2010)

Proceedings of the First International Conference on Software Testing, Verification, and Validation April 9-11, 2008, Lillehammer, Norway.
Published: (2008)

Proceedings, Second International Conference on Software Testing, Verification, and Validation Denver, Colorado, April 1-4, 2009.
Published: (2009)

Verification of knowledge shared across design and manufacture using a foundation ontology
by: Najam A. Anjum, et al.
Published: (2013)

Verification of knowledge shared across design and manufacture using a foundation ontology
by: Najam A. Anjum
Published: (2011)

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.).
Published: (2000)

ICSTW 2009 IEEE International Conference on Software Testing, Verification, and Validation Workshops : April 1-4, 2009, Denver, Colorado, USA.
Published: (2009)

Extending relational model transformations to better support the verification of increasingly autonomous systems
by: Glenn Callow
Published: (2013)

A critical review of number order judgements and arithmetic: What do order verification tasks actually measure?
by: Declan Devlin, et al.
Published: (2022)

Optimisation-based verification process of obstacle avoidance systems for unicycle-like mobile robots
by: Sivaranjini Srikanthakumar, et al.
Published: (2011)

Eliminating weapons of mass destruction : prospects for effective international verification / John Mathiason and Berhan Andemicael.
by: Andemicael, Berhanykun
Published: (2004)

Formal methods in computer-aided design FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas, USA / [Jason Baumgartner, Mary Sheeran, chairs ; sponsored by FMCAD Inc., IEEE Council on Electronic Design Automation (CEDA)].
Published: (2007)

Formal methods in computer-aided design proceedings of : 12-16 November, 2006, San Jose, California, USA / [sponsored by FMCAD Inc., IEEE Council on Electronic Design Automatiion (CECA)].
Published: (2006)

Analysis and design of integrated electronic circuits / Paul M. Chirlian.
by: Chirlian, Paul M. (Paul Michael), 1931-
Published: (1987)

Writing testbenches : functional verification of HDL models / Janick Bergeron.
by: Bergeron, Janick
Published: (2003)

© 2017 Loughborough University. All rights reserved.