Simulation and Verification of Network-Based Biocomputation Circuits

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

Contributors

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.

Details

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
Publication statusPublished - 2023
Peer-reviewedYes

Publication series

SeriesProceedings - IEEE International Symposium on Circuits and Systems
Volume2023-May
ISSN0271-4310

Conference

Title56th IEEE International Symposium on Circuits and Systems
SubtitleTechnology Disruption and Society
Abbreviated titleISCAS 2023
Conference number56
Duration21 - 25 May 2023
Website
Degree of recognitionInternational event
LocationMonterey Conference Center
CityMonterey
CountryUnited States of America

Keywords

Sustainable Development Goals

ASJC Scopus subject areas

Keywords

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