Login / Signup
A unified platform for design and verification of mixed-signal systems based on SystemC AMS.
Yao Li
Ramy Iskander
Farakh Javid
Marie-Minerve Louërat
Published in:
FDL (2012)
Keyphrases
</>
formal methods
mixed signal
knowledge based systems
design process
complex systems
vlsi circuits
real time
computer systems
user interface
hidden markov models
multi channel
formal verification
digital circuits