Zeineb Bel Hadj Amor

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Cost Effectiveness

Resource Limited

Hardware And Software

Top Venues

Publications

Zeineb Bel Hadj Amor, Laurence Pierre, Dominique Borrione
A tool for the automatic TLM-to-RTL conversion of embedded systems requirements for a seamless verification flow. VLSI-SoC (2014)
Laurence Pierre, Zeineb Bel Hadj Amor
Automatic refinement of requirements for verification throughout the SoC design flow. CODES+ISSS (2013)
Laurence Pierre, Luca Ferro, Zeineb Bel Hadj Amor, Philippe Bourgon, Jérôme Quévremont
Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoC. SIES (2012)
Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jérôme Lachaize, Vincent Lefftz
Runtime Verification of Typical Requirements for a Space Critical SoC Platform. FMICS (2011)