Login / Signup
Dhanashree Kulkarni
Publication Activity (10 Years)
Years Active: 2013-2014
Publications (10 Years): 0
Top Topics
Formal Verification
Low Voltage
Digital Circuits
Bounded Model Checking
Top Venues
FDL
MWSCAS
</>
Publications
</>
Andrew N. Fisher
,
Satish Batchu
,
Kevin R. Jones
,
Dhanashree Kulkarni
,
Scott Little
,
David Walter
,
Chris J. Myers
LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits.
MWSCAS
(2014)
Dhanashree Kulkarni
,
Andrew N. Fisher
,
Chris J. Myers
A new assertion property language for analog/mixed-signal circuits.
FDL
(2013)