Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Harry
Last name:	Foster
DBLP:	85/2948
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 10  

Select a publication
Show	Title	Venue	Rating	Date
	Harry Foster. Applied Assertion-Based Verification: An Industry Perspective.	Foundations and Trends in Electronic Design Automation 2009, Volume 3	(0)	2009
	Harry Foster. Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial).	Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings 2008	(0)	2008
	Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster. Functional test selection based on unsupervised support vector analysis.	Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008 2008	(0)	2008
	Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso. Is methodology the highway out of verification hell?	Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005 2005	(0)	2005
	Rich Faris, Ken Larsen, Harry Foster, Stuart Swan. Are Today's Verification Tools Able to Handle Current Design Challenges?	23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA 2005	(0)	2005
	Fernando Cortez Sica, Claudionor José Nunes Coelho Jr., José Augusto Miranda Nacif, Harry Foster, Antônio Otávio Fernandes. Exception handling in microprocessors using assertion libraries.	Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2004, Pernambuco, Brazil, September 7-11, 2004 2004	(0)	2004
	José Augusto Miranda Nacif, Flávio Miana de Paula, Harry Foster, Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes. The Chip is Ready. Am I done? On-chip Verification using Assertion Processors.	IFIP VLSI-SoC 2003, IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip, Darmstadt, Germany, 1-3 December 2003 2003	(0)	2003
	David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes. Formal verification methods: getting around the brick wall.	Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002 2002	(0)	2002
	Lionel Bening, Harry Foster. Optimizing Multiple EDA Tools within the ASIC Design Flow.	IEEE Design Test of Computers 2001, Volume 18	(0)	2001
	Harry Foster. Applied Boolean Equivalence Verification and RTL Static Sign-Off.	IEEE Design Test of Computers 2001, Volume 18	(0)	2001

Your query returned 10 matches in the database.