Requirements and Verifications through an extension of VHDL-AMS.

Yannick Herv, Ahmed Fakhfakh

Browse the full FDL paper archive.