Ludovic Jacomme

Publication Activity (10 Years)

Years Active: 1998-1999
Publications (10 Years): 0

Publications

Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa
Formal Analysis of Single WAIT VHDL processes for Semantic Based Synthesis. VLSI Design (1999)
Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa
Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis. EUROMICRO (1998)