Formal Verification of Hardware using LP and Comparison with Nqthm. - Michel Allemand; Felix Nicoli; Laurence Pierre (Applied Informatics, 1994)

Formal verification of behavioral VHDL specifications: a case study. - Felix Nicoli; Laurence Pierre (EURO-DAC, 1994)

Denotational Semantics of a Behavioral Subset of VHDL. - Felix Nicoli (DATE, 1998)