UVM-SystemC-AMS based framework for the correct by construction design of MEMS in their real heterogeneous application context. - Torsten Maehne; Zhi Wang 005; Benoit Vernay; Liliana Andrade; Cédric Ben Aoun; Jean-Paul Chaput; Marie-Minerve Louërat; François Pêcheux; Arnaud Krust; Gerold Schropfer; Martin Barnasconi; Karsten Einwich; et al. (ICECS, 2014)

System-level modeling and simulation of microelectromechanical systems for multi-physics virtual prototyping in SystemC-AMS. (Modélisation et simulation haut-niveau de micro-systèmes électromécaniques pour le prototypage virtuel multi-physique en SystemC-AMS). - Benoit Vernay (2016)