Harry Foster

	2010
15		Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor: Bridging pre-silicon verification and post-silicon validation. DAC 2010: 94-95
14		Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster: Increasing the Efficiency of Simulation-Based Functional Verification Through Unsupervised Support Vector Analysis. IEEE Trans. on CAD of Integrated Circuits and Systems 29(1): 138-148 (2010)
	2009
13		Harry Foster: Pain, Possibilities, and Prescriptions Industry Trends in Advanced Functional Verification. Haifa Verification Conference 2009: 2
12		Harry Foster: Applied Assertion-Based Verification: An Industry Perspective. Foundations and Trends in Electronic Design Automation 3(1): 1-95 (2009)
	2008
11		Harry Foster: Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial). CAV 2008: 5-10
10		Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster: Functional test selection based on unsupervised support vector analysis. DAC 2008: 262-267
	2005
9		Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso: Is methodology the highway out of verification hell? DAC 2005: 521-522
8		Rich Faris, Ken Larsen, Harry Foster, Stuart Swan: Are Today's Verification Tools Able to Handle Current Design Challenges? ICCD 2005: 77
	2004
7		Harry Foster, Adam Krolnik, David Lacey: Assertion-based design (2. ed.). Kluwer 2004: I-XXIII, 1-390
6		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. SBCCI 2004: 55-59
	2003
5		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. VLSI-SOC 2003: 111-
	2002
4		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. DAC 2002: 576-577
	2001
3		Lionel Bening, Harry Foster: Principles of verifiable RTL design - a functional coding style supporting verification processes in Verilog. Kluwer 2001: I-XXIII, 1-281
2		Lionel Bening, Harry Foster: Optimizing Multiple EDA Tools within the ASIC Design Flow. IEEE Design & Test of Computers 18(4): 46-55 (2001)
1		Harry Foster: Applied Boolean Equivalence Verification and RTL Static Sign-Off. IEEE Design & Test of Computers 18(4): 6-15 (2001)

Coauthor Index

1	Miron Abramovici	[15]
2	Francine Bacchini	[9]
3	Lionel Bening	[2] [3]
4	Bob Bentley	[15]
5	Janick Bergeron	[9]
6	Gérard Berry	[4]
7	Valeria Bertacco	[15]
8	Albert Camilleri	[15]
9	Claudionor José Nunes Coelho Jr.	[5] [6]
10	David L. Dill	[4]
11	Laurent Ducousso	[9]
12	Rich Faris	[8]
13	Antônio Otávio Fernandes	[5] [6]
14	Limor Fix	[4]
15	Rajesh Galivanche	[15]
16	Onur Guzey	[10] [14]
17	Alan J. Hu	[15]
18	Nate James	[4]
19	Shakti Kapoor	[15]
20	Adam Krolnik	[7]
21	David Lacey	[7]
22	Ken Larsen	[8]
23	Jeremy R. Levitt	[10] [14]
24	Shrenik Mehta	[9]
25	Gabe Moretti	[9]
26	José Augusto Miranda Nacif	[5] [6]
27	Amir Nahir	[15]
28	Masayuki Nakamura	[9]
29	Flávio Miana de Paula	[5]
30	Rajeev K. Ranjan	[4]
31	Shishpal Rawat	[4]
32	Fernando Cortez Sica	[6]
33	Gunnar Stålmarck	[4]
34	Stuart Swan	[8]
35	Li-C. Wang	[10] [14]
36	Curt Widdoes	[4]
37	Avi Ziv	[15]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page