BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
G.Spirakis J.A.Carballo K.Keutzer A.J.d.Geus F.Hsu K.Yamada G.Moretti H.Foster J.Bergeron M.Nakamura S.Mehta L.Ducousso J.M.Rabaey A.Cox F.Lane R.Lauwereins U.Ramacher D.Witt R.F.Damiano B.Bentley K.Baty K.Normoyle M.Ishii E.Yogev P.G.Paulin R.A.Bergamaschi R.Pawate A.Bernstein R.Chandra M.Ben-Romdhane D.D.Gajski L.Maillet-Contoz H.Kashiwagi J.Donovan T.Mäkeläinen J.Greenbaum R.S.Nikhil A.J.Hu T.Fitzpatrick R.Ranjan D.Lacey M.Tan A.Piziali A.Ziv D.Maliniak T.Doherty P.McShane S.A.Pai S.Sundararajan S.Eo P.Urard
Talks about:
verif (3) system (2) enough (2) what (2) methodolog (1) megatrend (1) wireless (1) platform (1) industri (1) success (1)

Person: Francine Bacchini

DBLP DBLP: Bacchini:Francine

Contributed to:

DAC 20072007
DAC 20052005
DAC 20042004

Wrote 8 papers:

DAC-2007-BacchiniGMKDMGN #named
TLM: Crossing Over From Buzz To Adoption (FB, DDG, LMC, HK, JD, TM, JG, RSN), pp. 444–445.
DAC-2007-BacchiniHFRLTPZ #question #verification
Verification Coverage: When is Enough, Enough? (FB, AJH, TF, RR, DL, MT, AP, AZ), pp. 744–745.
DAC-2007-BacchiniSCKGHY #roadmap
Megatrends and EDA 2017 (FB, GS, JAC, KK, AJdG, FCH, KY), pp. 21–22.
DAC-2005-BacchiniMDMPSEU #named
ESL: building the bridge between systems to silicon (FB, DM, TD, PM, SAP, SS, SKE, PU), pp. 69–70.
DAC-2005-BacchiniMFBNMD #question #verification
Is methodology the highway out of verification hell? (FB, GM, HF, JB, MN, SM, LD), pp. 521–522.
DAC-2005-BacchiniRCLLRW #platform
Wireless platforms: GOPS for cents and MilliWatts (FB, JMR, AC, FL, RL, UR, DW), pp. 351–352.
DAC-2004-BacchiniDBBNIY #named #verification #what
Verification: what works and what doesn’t (FB, RFD, BB, KB, KN, MI, EY), p. 274.
DAC-2004-BacchiniPBPBCB #design #industrial
System level design: six success stories in search of an industry (FB, PGP, RAB, RP, AB, RC, MBR), pp. 349–350.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.