Travelled to:3 × USA
Collaborated with:A.Maalej R.Guizzetti N.Chawla A.Hosseini A.Parikh H.T.Chin E.F.Girczyc S.Bloch L.Paumier P.Georgelin T.Michel V.Lebars E.Yeo B.Gupta F.Bacchini D.Maliniak T.Doherty P.McShane S.A.Pai S.Sundararajan S.Eo
Talks about:system (2) build (2) esl (2) methodolog (1) compliant (1) standard (1) sequenti (1) silicon (1) leverag (1) equival (1)
Person: Pascal Urard
DBLP: Urard:Pascal
Contributed to:
200820062005Wrote 4 papers:
- DAC-2008-UrardMGC #equivalence
- Leveraging sequential equivalence checking to enable system-level to RTL flows (PU, AM, RG, NC), pp. 816–821.
- DAC-2006-HosseiniPCUGB #design #question #standard #verification
- Building a standard ESL design and verification methodology: is it just a dream? (AH, AP, HTC, PU, EFG, SB), pp. 370–371.
- 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-UrardPGMLYG
- A 135Mbps DVB-S2 compliant codec based on 64800-bit LDPC and BCH codes (ISSCC paper 24.3) (PU, LP, PG, TM, VL, EY, BG), pp. 547–548.