1 - 25 of 1
Number of results to display per page
AuthorTitleSubjectDatePublication Type
1 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 1