2008 |
9 | EE | Harry Foster:
Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial).
CAV 2008: 5-10 |
8 | EE | 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 | EE | 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 | EE | Rich Faris,
Ken Larsen,
Harry Foster,
Stuart Swan:
Are Today's Verification Tools Able to Handle Current Design Challenges?
ICCD 2005: 77 |
2004 |
5 | EE | 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 | EE | 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 | EE | Lionel Bening,
Harry Foster:
Optimizing Multiple EDA Tools within the ASIC Design Flow.
IEEE Design & Test of Computers 18(4): 46-55 (2001) |
1 | EE | Harry Foster:
Applied Boolean Equivalence Verification and RTL Static Sign-Off.
IEEE Design & Test of Computers 18(4): 6-15 (2001) |