Title
Synthesizing sequential register-based computation with biochemistry
Abstract
This paper presents a compilation strategy and a toolkit for biochemical reactions that perform sequential arithmetic computation on protein quantities, analogous to register-based computation in digital sys- tems. From a Verilog-like input specification file, we generate biochemical reactions that produce output quantities as a function of input quantities, performing operations such as addition, subtraction, and multiplication. Sequential operations are implemented by transferring quantities be- tween protein types, based on a clocking mechanism. Synthesis first is performed at a conceptual level, in terms of abstract biochemical reactions - a task analogous to technology-independent logic synthesis in circuit design. Then the results are mapped onto specific biochemical reactions, selected from libraries - a task analogous to technology mapping in circuit design. Our method targets the universal DNA substrate developed by Erik Winfree's group at Caltech as the experimental chassis. We demonstrate the algorithm on the synthesis of a variety of standard sequential functions: signal processing functions (FIR filters and IIR filters), vector multiplication, integration and differentiation. The designs are validated through transient stochastic simulation of the chemical kinetics.
Year
Venue
Keywords
2009
ICCAD
circuit design,chemical kinetics,proteins,reaction kinetics,dna,biochemistry,fir filter,registers,fir filters,arithmetic,logic synthesis,iir filter,differentiation,signal processing,molecular biophysics,stochastic simulation
Field
DocType
Citations 
Logic synthesis,Signal processing,Computer science,Infinite impulse response,Circuit design,Algorithm,Electronic engineering,Multiplication,Finite impulse response,Subtraction,Computation
Conference
0
PageRank 
References 
Authors
0.34
4
4
Name
Order
Citations
PageRank
Adam Shea161.41
Marc D. Riedel252148.65
Brian Fett3346.40
keshab k parhi43235369.07