Modeling, design and verification platform using SystemC AMS.

Yao Li Ramy Iskander Marie-Minerve Louërat

Published in: ISQED (2014)

Keyphrases

social networks
modeling language
case study
building blocks
design principles
formal verification
user interface
verification method