"UVM-SystemC-AMS based framework for the correct by construction design of ..."

Torsten Maehne et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics