Harry Foster

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

9EEHarry Foster: Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial). CAV 2008: 5-10
8EEOnur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster: Functional test selection based on unsupervised support vector analysis. DAC 2008: 262-267
7EEFrancine 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
6EERich Faris, Ken Larsen, Harry Foster, Stuart Swan: Are Today's Verification Tools Able to Handle Current Design Challenges? ICCD 2005: 77
5EEFernando 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
4 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-
3EEDavid 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
2EELionel Bening, Harry Foster: Optimizing Multiple EDA Tools within the ASIC Design Flow. IEEE Design & Test of Computers 18(4): 46-55 (2001)
1EEHarry Foster: Applied Boolean Equivalence Verification and RTL Static Sign-Off. IEEE Design & Test of Computers 18(4): 6-15 (2001)

Coauthor Index

1Francine Bacchini [7]
2Lionel Bening [2]
3Janick Bergeron [7]
4Gérard Berry [3]
5Claudionor José Nunes Coelho Jr. [4] [5]
6David L. Dill [3]
7Laurent Ducousso [7]
8Rich Faris [6]
9Antônio Otávio Fernandes [4] [5]
10Limor Fix [3]
11Onur Guzey [8]
12Nate James [3]
13Ken Larsen [6]
14Jeremy R. Levitt [8]
15Shrenik Mehta [7]
16Gabe Moretti [7]
17José Augusto Miranda Nacif [4] [5]
18Masayuki Nakamura [7]
19Flávio Miana de Paula [4]
20Rajeev K. Ranjan [3]
21Shishpal Rawat [3]
22Fernando Cortez Sica [5]
23Gunnar Stålmarck [3]
24Stuart Swan [6]
25Li-C. Wang [8]
26Curt Widdoes [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)