Harry Foster

According to our database, Harry Foster authored at least 27 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Report on the Design Automation Conference (DAC 2021).

Harry Foster, Rob Oshana, Jörg Henkel, Vivek De

IEEE Des. Test, 2022

2021

General Chair's Message.

Harry Foster

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2018

2018 FPGA Functional Verification Trends.

Harry Foster

Proceedings of the 19th International Workshop on Microprocessor and SOC Test and Verification, 2018

2015

Trends in functional verification: a 2014 industry study.

Harry D. Foster

Proceedings of the 52nd Annual Design Automation Conference, 2015

2013

Keynote talk III: Industry pulse: Trends in function verification.

Harry Foster

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

Why the design productivity gap never happened.

Harry Foster

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

2010

Increasing the Efficiency of Simulation-Based Functional Verification Through Unsupervised Support Vector Analysis.

Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Bridging pre-silicon verification and post-silicon validation.

Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor

Proceedings of the 47th Design Automation Conference, 2010

2009

Applied Assertion-Based Verification: An Industry Perspective.

Harry Foster

Found. Trends Electron. Des. Autom., 2009

Pain, Possibilities, and Prescriptions Industry Trends in Advanced Functional Verification.

Harry Foster

Proceedings of the Hardware and Software: Verification and Testing, 2009

2008

Functional test selection based on unsupervised support vector analysis.

Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster

Proceedings of the 45th Design Automation Conference, 2008

Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial).

Harry Foster

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Panel: Unified approach leading to a seamlessly evolving test bench for all phases of a multi-core design, validation and production test.

Sunil Kakkar, Janick Bergeron, Brian Bailey, Harry Foster, Ian Harris

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

2006

Panel: Assertion-Based Verification -What's the Big Deal?

Sandeep K. Shukla, Alan J. Hu, Jacob Abrahams, Pranav Ashar, Harry Foster, Avner Landver, Carl Pixley

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

Building a verification test plan: trading brute force for finesse.

Janick Bergeron, Harry Foster, Andrew Piziali, Raj Shekher Mitra, Catherine Ahlschlager, Doron Stein

Proceedings of the 43rd Design Automation Conference, 2006

2005

Are Today's Verification Tools Able to Handle Current Design Challenges?

Rich Faris, Ken Larsen, Harry Foster, Stuart Swan

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Is methodology the highway out of verification hell?

Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso

Proceedings of the 42nd Design Automation Conference, 2005

2004

Exception handling in microprocessors using assertion libraries.

Fernando Cortez Sica, Claudionor José Nunes Coelho Jr., José Augusto Miranda Nacif, Harry Foster, Antônio Otávio Fernandes

Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004

Panel: Driving the intelligent testbanch: are we there yet?

Harry Foster

Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

Assertion-based design, Second Edition.

Harry Foster, Adam Krolnik, David Lacey

Kluwer, ISBN: 978-1-4020-8027-2, 2004

2003

The Chip is Ready. Am I done? On-chip Verification using Assertion Processors.

José Augusto Miranda Nacif, Flávio Miana de Paula, Harry Foster, Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes

Proceedings of the IFIP VLSI-SoC 2003, 2003

On-Chip Property Verification Using Assertion Processors.

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

Proceedings of the VLSI-SOC: From Systems to Chips, 2003

Refactoring digital hardware designs with assertion libraries.

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.

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

2002

Formal verification methods: getting around the brick wall.

David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes

Proceedings of the 39th Design Automation Conference, 2002

2001

Applied Boolean Equivalence Verification and RTL Static Sign-Off.

Harry Foster

IEEE Des. Test Comput., 2001

Optimizing Multiple EDA Tools within the ASIC Design Flow.

Lionel Bening, Harry Foster

IEEE Des. Test Comput., 2001

Principles of verifiable RTL design - a functional coding style supporting verification processes in Verilog.

Lionel Bening, Harry Foster

Kluwer, ISBN: 978-0-7923-7368-1, 2001