About the Authors

Karan Mangla

Affiliation Department of Computer Science, Stanford University, Stanford, California, United States of America

David L. Dill

dill@cs.stanford.edu

Affiliation Department of Computer Science, Stanford University, Stanford, California, United States of America

Mark A. Horowitz

Affiliation Department of Electrical Engineering, Stanford University, Stanford, California, United States of America

Competing Interests

The authors have declared that no competing interests exist.

Author Contributions

Conceived and designed the experiments: KM DLD MAH. Performed the experiments: KM. Analyzed the data: KM. Wrote the paper: KM DLD MAH.