Verification: what works and what doesn't. - Francine Bacchini; Robert F. Damiano; Bob Bentley; Kurt Baty; Kevin Normoyle; Makoto Ishii; Einat Yogev (DAC, 2004)

System level design: six success stories in search of an industry. - Francine Bacchini; Pierre G. Paulin; Reinaldo A. Bergamaschi; Raj Pawate; Arie Bernstein; Ramesh Chandra; Mohamed Ben-Romdhane (DAC, 2004)

ESL: building the bridge between systems to silicon. - Francine Bacchini; David Maliniak; Terry Doherty; Peter McShane; Suhas A. Pai; Sriram Sundararajan; Soo-Kwan Eo; Pascal Urard (DAC, 2005)

Is methodology the highway out of verification hell? - Francine Bacchini; Gabe Moretti; Harry Foster; Janick Bergeron; Masayuki Nakamura; Shrenik Mehta; Laurent Ducousso (DAC, 2005)

Wireless platforms: GOPS for cents and MilliWatts. - Francine Bacchini; Jan M. Rabaey; Allan Cox; Frank Lane; Rudy Lauwereins; Ulrich Ramacher; David Witt (DAC, 2005)

TLM: Crossing Over From Buzz To Adoption. - Francine Bacchini; Daniel D. Gajski; Laurent Maillet-Contoz; Haruhisa Kashiwagi; Jack Donovan; Tommi Mäkeläinen; Jack Greenbaum; Rishiyur S. Nikhil (DAC, 2007)

Verification Coverage: When is Enough, Enough? - Francine Bacchini; Alan J. Hu; Tom Fitzpatrick; Rajeev Ranjan; David Lacey; Mercedes Tan; Andrew Piziali; Avi Ziv (DAC, 2007)

Megatrends and EDA 2017. - Francine Bacchini; Gregory S. Spirakis; Juan Antonio Carballo; Kurt Keutzer; Aart J. de Geus; Fu-Chieh Hsu; Kazu Yamada (DAC, 2007)