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 | |
3 | Richards, Alyssa Magleby | Measurement and modeling of intravehicular channels for multiantenna communication | 3D ray tracing; Communication; Intravehicle; Modeling; Multiantenna; Sensor network; MIMO systems | 2011-05 | dissertation |