UVM-SystemC-AMS based framework for the correct by construction design of MEMS in their real heterogeneous application context

Torsten Machne, Zhi Wang, Benoit Vernay, Liliana Andrade, Cedric Ben Aoun, Jean-Paul Chaput, Marie-Minerve Louërat, François Pêcheux, Arnaud Krust, Gerold Schropfer, Martin Barnasconi, Karsten Einwich, Fabio Cenni, Olivier Guillaume. UVM-SystemC-AMS based framework for the correct by construction design of MEMS in their real heterogeneous application context. In 21st IEEE International Conference on Electronics, Circuits and Systems, ICECS 2014, Marseille, France, December 7-10, 2014. pages 862-865, IEEE, 2014. [doi]

Abstract

Abstract is missing.