Modular Acquisition and Stimulation System for Timestamp-Driven Neuroscience Experiments

Dedicated systems are fundamental for neuroscience experimental protocols that require timing determinism and synchronous stimuli generation. We developed a data acquisition and stimuli generator system for neuroscience research, optimized for recording timestamps from up to 6 spiking neurons and entirely specified in a high-level Hardware Description Language (HDL). Despite the logic complexity penalty of synthesizing from such a language, it was possible to implement our design in a low-cost small reconfigurable device. Under a modular framework, we explored two different memory arbitration schemes for our system, evaluating both their logic element usage and resilience to input activity bursts. One of them was designed with a decoupled and latency insensitive approach, allowing for easier code reuse, while the other adopted a centralized scheme, constructed specifically for our application. The usage of a high-level HDL allowed straightforward and stepwise code modifications to transform one architecture into the other. The achieved modularity is very useful for rapidly prototyping novel electronic instrumentation systems tailored to scientific research.

[1]  Xiaowei Shen,et al.  Design and Verification of Speculative Processors , 1998 .

[2]  Jan Clemens,et al.  Efficiency of Auditory Receptor Neurons Spike-Timing Precision Underlies the Coding , 2015 .

[3]  M S Lewicki,et al.  A review of methods for spike sorting: the detection and classification of neural action potentials. , 1998, Network.

[4]  Philip Wadler Monads for Functional Programming , 1995, Advanced Functional Programming.

[5]  Bruno A. Olshausen,et al.  Book Review , 2003, Journal of Cognitive Neuroscience.

[6]  Paulo Matias,et al.  An embedded system for real-time feedback neuroscience experiments , 2015, ArXiv.

[7]  Paulo Matias Low-cost modular acquisition and stimulation system for neuroscience , 2014 .

[8]  Arvind,et al.  High-level synthesis: an essential ingredient for designing complex ASICs , 2004, ICCAD 2004.

[9]  William Bialek,et al.  Neural Coding of Natural Stimuli: Information at Sub-Millisecond Resolution , 2007, BMC Neuroscience.

[10]  Lírio O. B. de Almeida,et al.  A complex biological system: the fly's visual module , 2008, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[11]  Pedro V. Carelli,et al.  Single Synapse Information Coding in Intraburst Spike Patterns of Central Pattern Generator Motor Neurons , 2011, The Journal of Neuroscience.

[12]  Arvind,et al.  WiLIS: Architectural modeling of wireless systems , 2011, (IEEE ISPASS) IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE.

[13]  Pablo Varona,et al.  RTBiomanager: a software platform to expand the applications of real-time technology in neuroscience , 2009, BMC Neuroscience.

[14]  Flavius Gruian,et al.  BluEJAMM: A Bluespec Embedded Java Architecture with Memory Management , 2007, Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007).

[15]  Alexander Borst,et al.  Coding Efficiency of Fly Motion Processing Is Set by Firing Rate, Not Firing Precision , 2010, PLoS Comput. Biol..

[16]  Reynaldo D. Pinto,et al.  Automatic Realistic Real Time Stimulation/Recording in Weakly Electric Fish: Long Time Behavior Characterization in Freely Swimming Fish and Stimuli Discrimination , 2014, PloS one.

[17]  Lírio Onofre Baptista de Almeida,et al.  Recording from Two Neurons: Second-Order Stimulus Reconstruction from Spike Trains and Population Coding , 2010, Neural Computation.

[18]  Paulo Matias,et al.  Individual discrimination of freely swimming pulse-type electric fish from electrode array recordings , 2014, Neurocomputing.

[19]  Dirk Stroobandt,et al.  An overview of today’s high-level synthesis tools , 2012, Design Automation for Embedded Systems.

[20]  Lírio Onofre Baptista de Almeida,et al.  VSImG: A high frame rate bitmap based display system for neuroscience research , 2011, Neurocomputing.

[21]  Ahmed Hemani,et al.  Effort, resources, and abstraction vs performance in high-level synthesis: finding new answers to an old question , 2012, CARN.

[22]  Rishiyur S. Nikhil,et al.  Bluespec System Verilog: efficient, correct RTL from high level specifications , 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..

[23]  Karin Nordström,et al.  Local and Large-Range Inhibition in Feature Detection , 2009, The Journal of Neuroscience.

[24]  Vaughn Betz,et al.  Quantifying the cost and benefit of latency insensitive communication on FPGAs , 2014, FPGA.

[25]  Inés Samengo,et al.  Spike-timing precision underlies the coding efficiency of auditory receptor neurons. , 2006, Journal of neurophysiology.

[26]  Daniel L. Rosenband The ephemeral history register: flexible scheduling for rule-based designs , 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..

[27]  Peter Dayan,et al.  Theoretical Neuroscience: Computational and Mathematical Modeling of Neural Systems , 2001 .

[28]  Rafael T Guariento,et al.  A simple model for eletrocommunication – “refractoriness avoidance response”? , 2014, BMC Neuroscience.