Login / Signup
Analog and Mixed-Signal Verification Using Satisfiability Solver on Discretized Models.
Henry Selvaraj
Nikita Ramesh Wanjale
Published in:
ICSEng (2017)
Keyphrases
</>
mixed signal
low power
computer vision
low cost
phase transition