Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 
   Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial). [Citation Graph (, )][DBLP]
   
   
9. 
   Functional test selection based on unsupervised support vector analysis. [Citation Graph (, )][DBLP]
   
   
10. 
    Bridging pre-silicon verification and post-silicon validation. [Citation Graph (, )][DBLP]