Login / Signup
A Design and Verification Methodology for Mixed-Signal Systems Using SystemC-AMS.
Yao Li
Ramy Iskander
Farakh Javid
Marie-Minerve Louërat
Published in:
FDL (Selected Papers) (2012)
Keyphrases
</>
mixed signal
building blocks
knowledge based systems
design methodology
formal methods
digital circuits
vlsi circuits
complex systems
conceptual model
embedded systems
low power
real time
formal verification
computing systems
analog to digital converter
functional verification
query language
user interface