skip to main content
research-article
Open Access

Time Dilation and Contraction for Programmable Analog Devices with Jaunt

Authors Info & Claims
Published:19 March 2018Publication History
Skip Abstract Section

Abstract

Programmable analog devices are a powerful new computing substrate that are especially appropriate for performing computationally intensive simulations of neuromorphic and cytomorphic models. Current state of the art techniques for configuring analog devices to simulate dynamical systems do not consider the current and voltage operating ranges of analog device components or the sampling limitations of the digital interface of the device. We present Jaunt, a new solver that scales the values that configure the analog device to ensure the resulting analog computation executes within the operating constraints of the device, preserves the recoverable dynamics of the original simulation, and executes slowly enough to observe these dynamics at the sampled digital outputs. Our results show that, on a set of benchmark biological simulations, 1) unscaled configurations produce incorrect simulations because they violate the operating ranges of the device and 2) Jaunt delivers scaled configurations that respect the operating ranges to produce correct simulations with observable dynamics.

References

  1. Biomodel artifact database. https://www.ebi.ac.uk/biomodels-main.Google ScholarGoogle Scholar
  2. Sara Achour, Rahul Sarpeshkar, and Martin C Rinard. Configuration synthesis for programmable analog devices with arco. In Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 177--193. ACM, 2016. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Kurt Antreich, J Eckmueller, Helmut Graeb, Michael Pronath, E Schenkel, R Schwencker, and S Zizala. Wicked: Analog circuit synthesis incorporating mismatch. In Custom Integrated Circuits Conference, 2000. CICC. Proceedings of the IEEE 2000, pages 511--514. IEEE, 2000.Google ScholarGoogle ScholarCross RefCross Ref
  4. Verena Becker, Marcel Schilling, Julie Bachmann, Ute Baumann, Andreas Raue, Thomas Maiwald, Jens Timmer, and Ursula Klingmüller. Covering a broad dynamic range: information processing at the erythropoietin receptor. Science, 328(5984):1404--1408, 2010.Google ScholarGoogle ScholarCross RefCross Ref
  5. Ben Varkey Benjamin, Peiran Gao, Emmett McQuinn, Shobhit Choudhary, Anand R Chandrasekaran, Jean-Marie Bussat, Rodrigo Alvarez-Icaza, John V Arthur, Paul Merolla, Kwabena Boahen, et al. Neurogrid: A mixed-analog-digital multichip system for large-scale neural simulations. Proceedings of the IEEE, 102(5):699--716, 2014.Google ScholarGoogle ScholarCross RefCross Ref
  6. Stephen Boyd, Seung-Jean Kim, Lieven Vandenberghe, and Arash Hassibi. A tutorial on geometric programming. Optimization and engineering, 8(1):67, 2007.Google ScholarGoogle ScholarCross RefCross Ref
  7. Donald G Buerk. Can we model nitric oxide biotransport? a survey of mathematical models for a simple diatomic molecule with surprisingly complex biological activities. Annual review of biomedical engineering, 3(1):109--143, 2001.Google ScholarGoogle Scholar
  8. Edward Burnell and Warren Hoburg. Gpkit software for geometric programming. https://github.com/convexengineering/gpkit, 2017. Version 0.6.0.Google ScholarGoogle Scholar
  9. G.E.R. Cowan, R.C. Melville, and Y. Tsividis. A VLSI analog computer/digital computer accelerator. Solid-State Circuits, IEEE Journal of, 41(1):42--53, Jan 2006.Google ScholarGoogle Scholar
  10. Ramiz Daniel, Sung Sik Woo, Lorenzo Turicchia, and Rahul Sarpeshkar. Analog transistor models of bacterial genetic circuits. In Biomedical Circuits and Systems Conference (BioCAS), 2011 IEEE, pages 333--336. IEEE, 2011.Google ScholarGoogle ScholarCross RefCross Ref
  11. J.L. Douce and H. Wilson. The automatic synthesis of control systems with constraints. Mathematics and Computers in Simulation, 7(1):18 -- 22, 1965. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Michael B Elowitz and Stanislas Leibler. A synthetic oscillatory network of transcriptional regulators. Nature, 403(6767):335--338, 2000.Google ScholarGoogle ScholarCross RefCross Ref
  13. Jason Ernst and Manolis Kellis. ChromHMM: automating chromatin-state discovery and characterization. Nature Methods, 9(3):215--6, mar 2012.Google ScholarGoogle ScholarCross RefCross Ref
  14. Hadi Esmaeilzadeh, Adrian Sampson, Luis Ceze, and Doug Burger. Neural acceleration for general-purpose approximate programs. In Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture, pages 449--460. IEEE Computer Society, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Timothy S Gardner, Charles R Cantor, and James J Collins. Construction of a genetic toggle switch in escherichia coli. Nature, 403(6767):339--342, 2000.Google ScholarGoogle ScholarCross RefCross Ref
  16. Ramesh Harjani, L Richard Carley, et al. Oasys: A framework for analog circuit synthesis. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 8(12):1247--1266, 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. L. Jaulin, M. Kieffer, O. Didrit, and E. Walter. Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics. Springer London, 2012.Google ScholarGoogle Scholar
  18. L.V. Kolev. Interval Methods for Circuit Analysis. Advanced series on circuits and systems. World Scientific, 1993.Google ScholarGoogle Scholar
  19. E Lalonde, A S Ishkanian, J Sykes, M Fraser, H Ross-Adams, N Erho, M J Dunning, S Halim, A D Lamb, N C Moon, G Zafarana, A Y Warren, X Meng, J Thoms, M R Grzadkowski, A Berlin, C L Have, V R Ramnarine, C Q Yao, C A Malloff, L L Lam, H Xie, N J Harding, D Y Mak, K C Chu, L C Chong, D H Sendorek, C P'ng, C C Collins, J A Squire, I Jurisica, C Cooper, R Eeles, M Pintilie, A Dal Pra, E Davicioni, W L Lam, M Milosevic, D E Neal, T van der Kwast, P C Boutros, and R G Bristow. Tumour genomic and microenvironmental heterogeneity for integrated prediction of 5-year biochemical recurrence of prostate cancer: a retrospective cohort study. Lancet Oncol, 15(13):1521--1532, 2014.Google ScholarGoogle ScholarCross RefCross Ref
  20. Frank J Lebeda, Michael Adler, Keith Erickson, and Yaroslav Chushak. Onset dynamics of type a botulinum neurotoxin-induced paralysis. Journal of pharmacokinetics and pharmacodynamics, 35(3):251, 2008.Google ScholarGoogle Scholar
  21. MATLAB. R2015b. The MathWorks Inc., Natick, Massachusetts, 2015.Google ScholarGoogle Scholar
  22. E.S. Ochotta, R.A. Rutenbar, and L.R. Carley. Synthesis of high-performance analog circuits in ASTRX/OBLX. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 15(3):273--294, Mar 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Yakup Paker and Stephen H. Unger. ADAC -- a programmed direct analog computer. Mathematics and Computers in Simulation, 9(1):16 -- 23, 1967. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Alberto Paoluzzi, Valerio Pascucci, Michele Vicentino, Claudio Baldazzi, and Simone Portuesi. Geometric Programming, pages 51--93. John Wiley & Sons, Ltd, 2005.Google ScholarGoogle Scholar
  25. Denise R. Ferrier PhD. Biochemistry (Lippincott Illustrated Reviews Series). LWW, 2013.Google ScholarGoogle Scholar
  26. Sylvain Saighi, Yannick Bornat, Jean Tomas, Gwendal Le Masson, and Sylvie Renaud. A library of analog operators based on the Hodgkin-Huxley formalism for the design of tunable, real-time, silicon neurons. Biomedical Circuits and Systems, IEEE Transactions on, 5(1):3--19, 2011.Google ScholarGoogle Scholar
  27. Sams. Arrangement and scaling of equations. Mathematics and Computers in Simulation, 6(3):179 -- 182, 1964. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. Rahul Sarpeshkar. Ultra Low Power Bioelectronics: Fundamentals, Biomedical Applications, and Bio-Inspired Systems. Cambridge University Press, 2010.Google ScholarGoogle ScholarCross RefCross Ref
  29. Christian Schneider and Howard Card. Analog CMOS synaptic learning circuits adapted from invertebrate biology. Circuits and Systems, IEEE Transactions on, 38(12):1430--1438, 1991.Google ScholarGoogle Scholar
  30. Richard I Sherwood, Tatsunori Hashimoto, Charles W O'Donnell, Sophia Lewis, Amira a Barkal, John Peter van Hoff, Vivek Karun, Tommi Jaakkola, and David K Gifford. Discovery of directional and nondirectional pioneer transcription factors by modeling DNase profile magnitude and shape. Nature Biotechnology, 32(2):171--8, mar 2014.Google ScholarGoogle ScholarCross RefCross Ref
  31. Renée St Amant, Amir Yazdanbakhsh, Jongse Park, Bradley Thwaites, Hadi Esmaeilzadeh, Arjang Hassibi, Luis Ceze, and Doug Burger. General-purpose code acceleration with limited-precision analog computation. ACM SIGARCH Computer Architecture News, 42(3):505--516, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library
  32. Jonathan J. Y. Teo, Sung Sik Woo, and Rahul Sarpeshkar. Synthetic biology: A unifying view and review using analog circuits. IEEE Trans. Biomed. Circuits and Systems, 9(4):453--474, 2015.Google ScholarGoogle ScholarCross RefCross Ref
  33. Rajko Tomovic. Proceedings of the international association for analog computation method of iteration and analog computation. Mathematics and Computers in Simulation, 1(2):60 -- 63, 1958. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. Herbert Weiner. The illusion of simplicity: the medical model revisited. The American journal of psychiatry, 1978.Google ScholarGoogle Scholar
  35. Sung Sik Woo et al. Fast simulation of stochastic biochemical reaction networks on cytomorphic chips. PhD thesis, Massachusetts Institute of Technology, 2016.Google ScholarGoogle Scholar
  36. Sung Sik Woo, Jaewook Kim, and Rahul Sarpeshkar. A cytomorphic chip for quantitative modeling of fundamental bio-molecular circuits. IEEE Trans. Biomed. Circuits and Systems, 9(4):527--542, 2015.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Time Dilation and Contraction for Programmable Analog Devices with Jaunt

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image ACM SIGPLAN Notices
            ACM SIGPLAN Notices  Volume 53, Issue 2
            ASPLOS '18
            February 2018
            809 pages
            ISSN:0362-1340
            EISSN:1558-1160
            DOI:10.1145/3296957
            Issue’s Table of Contents
            • cover image ACM Conferences
              ASPLOS '18: Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems
              March 2018
              827 pages
              ISBN:9781450349116
              DOI:10.1145/3173162

            Copyright © 2018 Owner/Author

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 19 March 2018

            Check for updates

            Qualifiers

            • research-article

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!