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:
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 DBLP: Urard:Pascal

Contributed to:

DAC 20082008
DAC 20062006
DAC 20052005

Wrote 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.
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.

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.