1 - 25 of 2
Number of results to display per page
AuthorTitleSubjectDatePublication Type
1 Batchu, SatishAutomatic extraction of behavioral models from simulations of analog/mixed-signal (AMS) circuitsAMS; Analog/mixed-signal; Modeling; Petri-net; Simulation; Verification2011-05thesis
2 Kulkarni, Dhanashree R.Improved model generation and property specification for analog/mixed-signal circuitsAMS; Analog; Circuits; Formal verification; Mixed signal; Modeling2013-08thesis
1 - 25 of 2