Harry Foster

27 papers A* 7A 2C 3Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2025 A conf
Specification Mining Facing Generative AI.
DATE
Görschwin Fey, Harry Foster, Tara Ghasempuri, Badri Gopalan, Jörg Müller, Manish Pandey
2022 J jnl
Report on the Design Automation Conference (DAC 2021).
IEEE Des. Test
Harry Foster, Rob Oshana, Jörg Henkel, Vivek De
2021 A* conf
General Chair's Message.
DAC
Harry Foster
2018 — conf
2018 FPGA Functional Verification Trends.
MTV
Harry Foster
2013 C conf
Keynote talk III: Industry pulse: Trends in function verification.
MEMOCODE
Harry Foster
2013 A conf
Why the design productivity gap never happened.
ICCAD
Harry Foster
2010 A* conf
Bridging pre-silicon verification and post-silicon validation.
DAC
Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor
2010 J jnl
Increasing the Efficiency of Simulation-Based Functional Verification Through Unsupervised Support Vector Analysis.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster
2009 J jnl
Applied Assertion-Based Verification: An Industry Perspective.
Found. Trends Electron. Des. Autom.
Harry Foster
2009 — conf
Pain, Possibilities, and Prescriptions Industry Trends in Advanced Functional Verification.
Haifa Verification Conference
Harry Foster
2008 A* conf
Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial).
CAV
Harry Foster
2008 A* conf
Functional test selection based on unsupervised support vector analysis.
DAC
Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Foster
2007 — conf
Panel: Unified approach leading to a seamlessly evolving test bench for all phases of a multi-core design, validation and production test.
HLDVT
Sunil Kakkar, Janick Bergeron, Brian Bailey, Harry Foster, Ian Harris
2006 A* conf
Building a verification test plan: trading brute force for finesse.
DAC
Janick Bergeron, Harry Foster, Andrew Piziali, Raj Shekher Mitra, Catherine Ahlschlager, Doron Stein
2006 — conf
Panel: Assertion-Based Verification -What's the Big Deal?
HLDVT
Sandeep K. Shukla, Alan J. Hu, Jacob Abrahams, Pranav Ashar, Harry Foster, Avner Landver, Carl Pixley
2005 C conf
Are Today's Verification Tools Able to Handle Current Design Challenges?
ICCD
Rich Faris, Ken Larsen, Harry Foster, Stuart Swan
2005 A* conf
Is methodology the highway out of verification hell?
DAC
Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso
2004 — book
Assertion-based design, Second Edition.
Harry Foster, Adam Krolnik, David Lacey
2004 — conf
Exception handling in microprocessors using assertion libraries.
SBCCI
Fernando Cortez Sica, Claudionor José Nunes Coelho Jr., José Augusto Miranda Nacif, Harry Foster, Antônio Otávio Fernandes
2004 — conf
Panel: Driving the intelligent testbanch: are we there yet?
HLDVT
Harry Foster
2003 — conf
On-Chip Property Verification Using Assertion Processors.
VLSI-SoC (Selected Papers)
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
2003 — conf
Refactoring digital hardware designs with assertion libraries.
HLDVT
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.
2003 C conf
The Chip is Ready. Am I done? On-chip Verification using Assertion Processors.
VLSI-SOC
José Augusto Miranda Nacif, Flávio Miana de Paula, Harry Foster, Claudionor José Nunes Coelho Jr., Antônio Otávio Fernandes
2002 A* conf
Formal verification methods: getting around the brick wall.
DAC
David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes
2001 J jnl
Applied Boolean Equivalence Verification and RTL Static Sign-Off.
IEEE Des. Test Comput.
Harry Foster
2001 J jnl
Optimizing Multiple EDA Tools within the ASIC Design Flow.
IEEE Des. Test Comput.
Lionel Bening, Harry Foster
2001 — book
Principles of verifiable RTL design - a functional coding style supporting verification processes in Verilog.
Lionel Bening, Harry Foster