skip to main content
article
Open Access

Configuration synthesis for programmable analog devices with Arco

Published:02 June 2016Publication History
Skip Abstract Section

Abstract

Programmable analog devices have emerged as a powerful computing substrate for performing complex neuromorphic and cytomorphic computations. We present Arco, a new solver that, given a dynamical system specification in the form of a set of differential equations, generates physically realizable configurations for programmable analog devices that are algebraically equivalent to the specified system. On a set of benchmarks from the biological domain, Arco generates configurations with 35 to 534 connections and 28 to 326 components in 1 to 54 minutes.

References

  1. Biomodel artifact database. https://www.ebi.ac.uk/ biomodels-main.Google ScholarGoogle Scholar
  2. Handbook of Tableau Methods. Springer, 1999.Google ScholarGoogle Scholar
  3. ISBN 0792356276.Google ScholarGoogle Scholar
  4. A. V. Aho, M. Ganapathi, and S. W. Tjiang. Code generation using tree matching and dynamic programming. ACM Transactions on Programming Languages and Systems (TOPLAS), 11(4):491–516, 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. K. Antreich, J. Eckmueller, H. Graeb, M. 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
  6. B. V. Benjamin, P. Gao, E. McQuinn, S. Choudhary, A. R. Chandrasekaran, J.-M. Bussat, R. Alvarez-Icaza, J. V. Arthur, P. Merolla, K. Boahen, et al. Neurogrid: A mixed-analogdigital multichip system for large-scale neural simulations. Proceedings of the IEEE, 102(5):699–716, 2014.Google ScholarGoogle ScholarCross RefCross Ref
  7. D. 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. G. Cowan, R. Melville, and Y. Tsividis. A VLSI analog computer /digital computer accelerator. Solid-State Circuits, IEEE Journal of, 41(1):42–53, Jan 2006. ISSN 0018-9200.Google ScholarGoogle Scholar
  9. doi: 10.1109 /JSSC.2005.858618.Google ScholarGoogle Scholar
  10. R. Daniel, S. S. Woo, L. Turicchia, and R. 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. L. De Moura and N. Bjørner. Z3: An e fficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems, pages 337–340. Springer, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. J. 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
  13. M. B. Elowitz and S. Leibler. A synthetic oscillatory network of transcriptional regulators. Nature, 403(6767):335–338, 2000.Google ScholarGoogle ScholarCross RefCross Ref
  14. H. Emmelmann, F.-W. Schröer, and R. Landwehr. Beg: a generator for e fficient back ends. In ACM Sigplan Notices, volume 24, pages 227–237. ACM, 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. K. Erguler and M. P. Stumpf. Practical limits for reverse engineering of dynamical systems: a statistical analysis of sensitivity and parameter inferability in systems biology models. Molecular BioSystems, 7(5):1593–1602, 2011.Google ScholarGoogle ScholarCross RefCross Ref
  16. K. Erguler, M. Pieri, and C. Deltas. A mathematical model of the unfolded protein stress response reveals the decision mechanism for recovery, adaptation and apoptosis. BMC systems biology, 7(1):16, 2013.Google ScholarGoogle Scholar
  17. J. Ernst and M. Kellis. ChromHMM: automating chromatinstate discovery and characterization. Nature Methods, 9(3): 215–6, mar 2012. ISSN 1548-7105.Google ScholarGoogle ScholarCross RefCross Ref
  18. doi: 10.1038 /nmeth. 1906.Google ScholarGoogle Scholar
  19. H. Esmaeilzadeh, A. Sampson, L. Ceze, and D. 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
  20. C. W. Fraser, D. R. Hanson, and T. A. Proebsting. Engineering a simple, e fficient code-generator generator. ACM Letters on Programming Languages and Systems (LOPLAS), 1(3):213– 226, 1992. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. T. S. Gardner, C. R. Cantor, and J. J. Collins. Construction of a genetic toggle switch in escherichia coli. Nature, 403(6767): 339–342, 2000.Google ScholarGoogle ScholarCross RefCross Ref
  22. T. S. Hall, C. M. Twigg, J. D. Gray, P. Hasler, and D. V. Anderson. Large-scale field-programmable analog arrays for analog signal processing. Circuits and Systems I: Regular Papers, IEEE Transactions on, 52(11):2298–2307, 2005.Google ScholarGoogle Scholar
  23. R. Harjani, L. R. 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
  24. R. Joshi, G. Nelson, and K. Randall. Denali: a goal-directed superoptimizer, volume 37. ACM, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. D. Joyner, O. ˇ Cert´ık, A. Meurer, and B. E. Granger. Open source computer algebra systems: Sympy. ACM Communications in Computer Algebra, 45(3 /4):225–234, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. doi: 10.1016 /s1470-2045(14)71021-6.Google ScholarGoogle Scholar
  27. Z. Manna and R. Waldinger. A deductive approach to program synthesis. ACM Transactions on Programming Languages and Systems (TOPLAS), 2(1):90–121, 1980. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. Z. Manna and R. Waldinger. Fundamentals of deductive program synthesis. Software Engineering, IEEE Transactions on, 18(8):674–704, 1992. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. E. Ochotta, R. Rutenbar, and L. Carley. Synthesis of highperformance analog circuits in ASTRX /OBLX. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, 15(3):273–294, Mar 1996. ISSN 0278-0070. doi: 10.1109 /43.489099. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. Y. Paker and S. H. Unger. {ADAC} — a programmed direct analog computer. Mathematics and Computers in Simulation, 9(1):16 – 23, 1967. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. B. Pankiewicz, M. Wojcikowski, S. Szczepanski, and Y. Sun. A field programmable analog array for CMOS continuoustime OTA-C filter applications. Solid-State Circuits, IEEE Journal of, 37(2):125–136, 2002.Google ScholarGoogle Scholar
  32. L. Petzold. Automatic selection of methods for solving sti ff and nonsti ff systems of ordinary differential equations. SIAM journal on scientific and statistical computing, 4(1):136–148, 1983.Google ScholarGoogle Scholar
  33. D. R. F. PhD. Biochemistry (Lippincott Illustrated Reviews Series). LWW, 2013. ISBN 1451175620.Google ScholarGoogle Scholar
  34. S. Saighi, Y. Bornat, J. Tomas, G. Le Masson, and S. 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
  35. Sams. Arrangement and scaling of equations. Mathematics and Computers in Simulation, 6(3):179 – 182, 1964. Google ScholarGoogle ScholarDigital LibraryDigital Library
  36. R. Sarpeshkar. Ultra Low Power Bioelectronics: Fundamentals, Biomedical Applications, and Bio-Inspired Systems. Cambridge University Press, 2010. ISBN 0521857279.Google ScholarGoogle Scholar
  37. C. Schneider and H. Card. Analog CMOS synaptic learning circuits adapted from invertebrate biology. Circuits and Systems, IEEE Transactions on, 38(12):1430–1438, 1991.Google ScholarGoogle Scholar
  38. R. I. Sherwood, T. Hashimoto, C. W. O’Donnell, S. Lewis, A. a. Barkal, J. P. van Ho ff, V. Karun, T. Jaakkola, and D. K. Gi fford. Discovery of directional and nondirectional pioneer transcription factors by modeling DNase profile magnitude and shape. Nature Biotechnology, 32(2):171–8, mar 2014. ISSN 1546-1696. doi: 10.1038 /nbt.2798. URL http://www. ncbi.nlm.nih.gov/pubmed/24441470.Google ScholarGoogle ScholarCross RefCross Ref
  39. R. St Amant, A. Yazdanbakhsh, J. Park, B. Thwaites, H. Esmaeilzadeh, A. Hassibi, L. Ceze, and D. Burger. Generalpurpose code acceleration with limited-precision analog computation. ACM SIGARCH Computer Architecture News, 42 (3):505–516, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. J. J. Y. Teo, S. S. Woo, and R. 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
  41. R. 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
  42. J. M. Vilar, H. Y. Kueh, N. Barkai, and S. Leibler. Mechanisms of noise-resistance in genetic oscillators. Proceedings of the National Academy of Sciences, 99(9):5988–5992, 2002.Google ScholarGoogle ScholarCross RefCross Ref
  43. H. Weiner. The illusion of simplicity: the medical model revisited. The American journal of psychiatry, 1978.Google ScholarGoogle Scholar
  44. S. S. Woo, J. Kim, and R. 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. Configuration synthesis for programmable analog devices with Arco

      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 51, Issue 6
        PLDI '16
        June 2016
        726 pages
        ISSN:0362-1340
        EISSN:1558-1160
        DOI:10.1145/2980983
        • Editor:
        • Andy Gill
        Issue’s Table of Contents
        • cover image ACM Conferences
          PLDI '16: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
          June 2016
          726 pages
          ISBN:9781450342612
          DOI:10.1145/2908080
          • General Chair:
          • Chandra Krintz,
          • Program Chair:
          • Emery Berger

        Copyright © 2016 ACM

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 2 June 2016

        Check for updates

        Qualifiers

        • 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!