|
Search the dblp DataBase
Harry Foster:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Francine Bacchini, Gabe Moretti, Harry Foster, Janick Bergeron, Masayuki Nakamura, Shrenik Mehta, Laurent Ducousso
Is methodology the highway out of verification hell? [Citation Graph (0, 0)][DBLP] DAC, 2005, pp:521-522 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] DAC, 2002, pp:576-577 [Conf]
- Rich Faris, Ken Larsen, Harry Foster, Stuart Swan
Are Today's Verification Tools Able to Handle Current Design Challenges? [Citation Graph (0, 0)][DBLP] ICCD, 2005, pp:77- [Conf]
- 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. [Citation Graph (0, 0)][DBLP] SBCCI, 2004, pp:55-59 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] VLSI-SOC, 2003, pp:111-0 [Conf]
- Lionel Bening, Harry Foster
Optimizing Multiple EDA Tools within the ASIC Design Flow. [Citation Graph (0, 0)][DBLP] IEEE Design & Test of Computers, 2001, v:18, n:4, pp:46-55 [Journal]
- Harry Foster
Applied Boolean Equivalence Verification and RTL Static Sign-Off. [Citation Graph (0, 0)][DBLP] IEEE Design & Test of Computers, 2001, v:18, n:4, pp:6-15 [Journal]
Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial). [Citation Graph (, )][DBLP]
Functional test selection based on unsupervised support vector analysis. [Citation Graph (, )][DBLP]
Bridging pre-silicon verification and post-silicon validation. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|