Satish Batchu

According to our database, Satish Batchu authored at least 2 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits.

Andrew N. Fisher, Satish Batchu, Kevin R. Jones, Dhanashree Kulkarni, Scott Little, David Walter, Chris J. Myers

Proceedings of the IEEE 57th International Midwest Symposium on Circuits and Systems, 2014

2011

Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets.

Scott Little, David Walter, Chris J. Myers, Robert A. Thacker, Satish Batchu, Tomohiro Yoneda

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011