Harry Foster

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 3

Top Topics

Fastest Growing

Functional Verification

Program Committee

Design Automation

Top Venues

Publications

Harry Foster, Rob Oshana, Jörg Henkel, Vivek De
Report on the Design Automation Conference (DAC 2021). IEEE Des. Test 39 (1) (2022)
Harry Foster
General Chair's Message. DAC (2021)
Harry Foster
2018 FPGA Functional Verification Trends. MTV (2018)
Harry Foster
Keynote talk III: Industry pulse: Trends in function verification. MEMOCODE (2013)
Harry Foster
Why the design productivity gap never happened. ICCAD (2013)
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)
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. Comput. Aided Des. Integr. Circuits Syst. 29 (1) (2010)
Harry Foster
Pain, Possibilities, and Prescriptions Industry Trends in Advanced Functional Verification. Haifa Verification Conference (2009)
Harry Foster
Applied Assertion-Based Verification: An Industry Perspective. Found. Trends Electron. Des. Autom. 3 (1) (2009)
Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster
Functional test selection based on unsupervised support vector analysis. DAC (2008)
Harry Foster
Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial). CAV (2008)
Sunil Kakkar, Janick Bergeron, Brian Bailey, Harry Foster, Ian Harris
Panel: Unified approach leading to a seamlessly evolving test bench for all phases of a multi-core design, validation and production test. HLDVT (2007)
Sandeep K. Shukla, Alan J. Hu, Jacob Abrahams, Pranav Ashar, Harry Foster, Avner Landver, Carl Pixley
Panel: Assertion-Based Verification -What's the Big Deal? HLDVT (2006)
Janick Bergeron, Harry Foster, Andrew Piziali, Raj Shekher Mitra, Catherine Ahlschlager, Doron Stein
Building a verification test plan: trading brute force for finesse. DAC (2006)
Rich Faris, Ken Larsen, Harry Foster, Stuart Swan
Are Today's Verification Tools Able to Handle Current Design Challenges? ICCD (2005)
Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso
Is methodology the highway out of verification hell? DAC (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. SBCCI (2004)
Harry Foster
Panel: Driving the intelligent testbanch: are we there yet? HLDVT (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. VLSI-SOC (2003)
José Augusto Miranda Nacif, Claudionor Nunes Coelho, Harry Foster, Flávio Miana de Paula, Edjard Mota, Márcia Roberta Falcão Mota, Antônio Otávio Fernandes
On-Chip Property Verification Using Assertion Processors. VLSI-SoC (Selected Papers) (2003)
Flávio Miana de Paula, Claudionor José Nunes Coelho Jr., Harry Foster, José Augusto Miranda Nacif, Joseph Tompkins, Antônio Otávio Fernandes, Diógenes Cecilio da Silva Jr.
Refactoring digital hardware designs with assertion libraries. HLDVT (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. DAC (2002)
Harry Foster
Applied Boolean Equivalence Verification and RTL Static Sign-Off. IEEE Des. Test Comput. 18 (4) (2001)
Lionel Bening, Harry Foster
Optimizing Multiple EDA Tools within the ASIC Design Flow. IEEE Des. Test Comput. 18 (4) (2001)