Author | Title | Subject | Date | Publication Type | ||
---|---|---|---|---|---|---|
1 |
![]() |
Batchu, Satish | Automatic extraction of behavioral models from simulations of analog/mixed-signal (AMS) circuits | AMS; Analog/mixed-signal; Modeling; Petri-net; Simulation; Verification | 2011-05 | thesis |
2 |
![]() |
Kulkarni, Dhanashree R. | Improved model generation and property specification for analog/mixed-signal circuits | AMS; Analog; Circuits; Formal verification; Mixed signal; Modeling | 2013-08 | thesis |