Simulation and Verification of Network-Based Biocomputation Circuits

Michelle Aluf-Medina, Avraham Raviv, Himanshu Arora, Till Korten, Hillel Kugler

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Network-Based Biocomputation (NBC) circuits are computational devices that utilize biological agents to efficiently explore designed nanofabricated networks and thus solve combinatorial problems. The main advantages of NBCs are the potential to combine massively parallel computation, inherent energy efficiency of the biological agents and maturity of nanofabrication technology. We present an integrated computational-aided toolset for simulation and verification of these circuits that enables analysis of both circuit correctness and the effects of agent stochastic dynamics on circuit behavior. Our approach enables early identification of design flaws and can lead to significant savings in resources, thus playing an important role in advancing this emerging paradigm.

Original languageEnglish
Title of host publicationISCAS 2023 - 56th IEEE International Symposium on Circuits and Systems, Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781665451093
DOIs
StatePublished - 2023
Event56th IEEE International Symposium on Circuits and Systems, ISCAS 2023 - Monterey, United States
Duration: 21 May 202325 May 2023

Publication series

NameProceedings - IEEE International Symposium on Circuits and Systems
Volume2023-May
ISSN (Print)0271-4310

Conference

Conference56th IEEE International Symposium on Circuits and Systems, ISCAS 2023
Country/TerritoryUnited States
CityMonterey
Period21/05/2325/05/23

Bibliographical note

Publisher Copyright:
© 2023 IEEE.

Keywords

  • Biological Computation
  • Exact Cover
  • Formal Verification
  • Model Checking
  • NP-Complete Problems
  • Network-Based Biocomputation
  • SAT
  • Subset Sum Problem

Fingerprint

Dive into the research topics of 'Simulation and Verification of Network-Based Biocomputation Circuits'. Together they form a unique fingerprint.

Cite this