Results 31 to 35 of about 44 (35)
Formal verification of analog and mixed signal circuits using deductive and bounded approaches [PDF]
This thesis presents novel formal verification techniques to verify the important property of inevitability of states in analog and mixed signal (AMS) circuits. Two techniques to verify the inevitability of phase locking in a Charge Pump Phase Lock Loop (
Ul Asad, H.
core