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.
- Biomodel artifact database. https://www.ebi.ac.uk/ biomodels-main.Google Scholar
- Handbook of Tableau Methods. Springer, 1999.Google Scholar
- ISBN 0792356276.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
- doi: 10.1109 /JSSC.2005.858618.Google Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- J. Douce and H. Wilson. The automatic synthesis of control systems with constraints. Mathematics and Computers in Simulation, 7(1):18 – 22, 1965. Google Scholar
Digital Library
- M. B. Elowitz and S. Leibler. A synthetic oscillatory network of transcriptional regulators. Nature, 403(6767):335–338, 2000.Google Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
- J. Ernst and M. Kellis. ChromHMM: automating chromatinstate discovery and characterization. Nature Methods, 9(3): 215–6, mar 2012. ISSN 1548-7105.Google Scholar
Cross Ref
- doi: 10.1038 /nmeth. 1906.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
- 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 Scholar
Digital Library
- R. Joshi, G. Nelson, and K. Randall. Denali: a goal-directed superoptimizer, volume 37. ACM, 2002. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- doi: 10.1016 /s1470-2045(14)71021-6.Google Scholar
- 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 Scholar
Digital Library
- Z. Manna and R. Waldinger. Fundamentals of deductive program synthesis. Software Engineering, IEEE Transactions on, 18(8):674–704, 1992. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- Y. Paker and S. H. Unger. {ADAC} — a programmed direct analog computer. Mathematics and Computers in Simulation, 9(1):16 – 23, 1967. Google Scholar
Digital Library
- 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 Scholar
- 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 Scholar
- D. R. F. PhD. Biochemistry (Lippincott Illustrated Reviews Series). LWW, 2013. ISBN 1451175620.Google Scholar
- 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 Scholar
- Sams. Arrangement and scaling of equations. Mathematics and Computers in Simulation, 6(3):179 – 182, 1964. Google Scholar
Digital Library
- R. Sarpeshkar. Ultra Low Power Bioelectronics: Fundamentals, Biomedical Applications, and Bio-Inspired Systems. Cambridge University Press, 2010. ISBN 0521857279.Google Scholar
- 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 Scholar
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- H. Weiner. The illusion of simplicity: the medical model revisited. The American journal of psychiatry, 1978.Google Scholar
- 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 Scholar
Cross Ref
Index Terms
Configuration synthesis for programmable analog devices with Arco
Recommendations
Noise-Aware Dynamical System Compilation for Analog Devices with Legno
ASPLOS '20: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating SystemsReconfigurable analog devices are a powerful new computing substrate especially appropriate for executing computationally intensive dynamical system computations in an energy efficient manner. We present Legno, a compilation toolchain for programmable ...
Configuration synthesis for programmable analog devices with Arco
PLDI '16: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and ImplementationProgrammable 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 ...
Time Dilation and Contraction for Programmable Analog Devices with Jaunt
ASPLOS '18Programmable 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 ...







Comments