Search the dblp DataBase

Publications of Author

1. Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev
   Verification: what works and what doesn't. [Citation Graph (0, 0)][DBLP]
   DAC, 2004, pp:274- [Conf]
   
2. Francine Bacchini, David Maliniak, Terry Doherty, Peter McShane, Suhas A. Pai, Sriram Sundararajan, Soo-Kwan Eo, Pascal Urard
   ESL: building the bridge between systems to silicon. [Citation Graph (0, 0)][DBLP]
   DAC, 2005, pp:69-70 [Conf]
   
3. 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]
   
4. Francine Bacchini, Pierre G. Paulin, Reinaldo A. Bergamaschi, Raj Pawate, Arie Bernstein, Ramesh Chandra, Mohamed Ben-Romdhane
   System level design: six success stories in search of an industry. [Citation Graph (0, 0)][DBLP]
   DAC, 2004, pp:349-350 [Conf]
   
5. Francine Bacchini, Jan M. Rabaey, Allan Cox, Frank Lane, Rudy Lauwereins, Ulrich Ramacher, David Witt
   Wireless platforms: GOPS for cents and MilliWatts. [Citation Graph (0, 0)][DBLP]
   DAC, 2005, pp:351-352 [Conf]
   
6. Francine Bacchini, Daniel D. Gajski, Laurent Maillet-Contoz, Haruhisa Kashiwagi, Jack Donovan, Tommi Mäkeläinen, Jack Greenbaum, Rishiyur S. Nikhil
   TLM: Crossing Over From Buzz To Adoption. [Citation Graph (0, 0)][DBLP]
   DAC, 2007, pp:444-445 [Conf]
   
7. Francine Bacchini, Alan J. Hu, Tom Fitzpatrick, Rajeev Ranjan, David Lacey, Mercedes Tan, Andrew Piziali, Avi Ziv
   Verification Coverage: When is Enough, Enough? [Citation Graph (0, 0)][DBLP]
   DAC, 2007, pp:744-745 [Conf]
   
8. Francine Bacchini, Greg Spirakis, Juan Antonio Carballo, Kurt Keutzer, Aart J. de Geus, Fu-Chieh Hsu, Kazu Yamada
   Megatrends and EDA 2017. [Citation Graph (0, 0)][DBLP]
   DAC, 2007, pp:21-22 [Conf]