 | 2009 |
|---|
| 10 |       | Harry Foster:
Applied Assertion-Based Verification: An Industry Perspective.
Foundations and Trends in Electronic Design Automation 3(1): 1-95 (2009) |
| 2008 |
|---|
| 9 | | Harry Foster:
Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial).
CAV 2008: 5-10 |
| 8 | | Onur Guzey,
Li-C. Wang,
Jeremy R. Levitt,
Harry Foster:
Functional test selection based on unsupervised support vector analysis.
DAC 2008: 262-267 |
| 2005 |
|---|
| 7 | | 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 |
| 6 | | Rich Faris,
Ken Larsen,
Harry Foster,
Stuart Swan:
Are Today's Verification Tools Able to Handle Current Design Challenges?
ICCD 2005: 77 |
| 2004 |
|---|
| 5 | | 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 |
|---|
| 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- |
| 2002 |
|---|
| 3 | | 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 |
|---|
| 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) |
