Simulation and Verification of Network-Based Biocomputation Circuits

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

doi:10.1109/iscas46773.2023.10181965

Simulation and Verification of Network-Based Biocomputation Circuits

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

Technische Universität Dresden

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	ISCAS 2023 - 56th IEEE International Symposium on Circuits and Systems, Proceedings
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)	9781665451093
DOIs	https://doi.org/10.1109/iscas46773.2023.10181965
State	Published - 2023
Event	56th IEEE International Symposium on Circuits and Systems, ISCAS 2023 - Monterey, United States Duration: 21 May 2023 → 25 May 2023

Publication series

Name	Proceedings - IEEE International Symposium on Circuits and Systems
Volume	2023-May
ISSN (Print)	0271-4310

Conference

Conference	56th IEEE International Symposium on Circuits and Systems, ISCAS 2023
Country/Territory	United States
City	Monterey
Period	21/05/23 → 25/05/23

Bibliographical note

Publisher Copyright:
© 2023 IEEE.

Funding

ACKNOWLEDGMENT This work is supported by the Horizon 2020 research and innovation programme for the Bio4Comp project under grant agreement number 732482 and by the ISRAEL SCIENCE FOUNDATION (Grant No. 190/19).

Funders	Funder number
Israel Science Foundation	190/19
Horizon 2020	732482

Keywords

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

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1109/iscas46773.2023.10181965

Cite this

Aluf-Medina, M., Raviv, A., Arora, H., Korten, T., & Kugler, H. (2023). Simulation and Verification of Network-Based Biocomputation Circuits. In ISCAS 2023 - 56th IEEE International Symposium on Circuits and Systems, Proceedings (Proceedings - IEEE International Symposium on Circuits and Systems; Vol. 2023-May). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/iscas46773.2023.10181965

@inproceedings{5a9d7a1dd1e14913945d461bbfadb4b2,

title = "Simulation and Verification of Network-Based Biocomputation Circuits",

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.",

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

author = "Michelle Aluf-Medina and Avraham Raviv and Himanshu Arora and Till Korten and Hillel Kugler",

note = "Publisher Copyright: {\textcopyright} 2023 IEEE.; 56th IEEE International Symposium on Circuits and Systems, ISCAS 2023 ; Conference date: 21-05-2023 Through 25-05-2023",

year = "2023",

doi = "10.1109/iscas46773.2023.10181965",

language = "אנגלית",

series = "Proceedings - IEEE International Symposium on Circuits and Systems",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

booktitle = "ISCAS 2023 - 56th IEEE International Symposium on Circuits and Systems, Proceedings",

address = "ארצות הברית",

}

Aluf-Medina, M, Raviv, A, Arora, H, Korten, T & Kugler, H 2023, Simulation and Verification of Network-Based Biocomputation Circuits. in ISCAS 2023 - 56th IEEE International Symposium on Circuits and Systems, Proceedings. Proceedings - IEEE International Symposium on Circuits and Systems, vol. 2023-May, Institute of Electrical and Electronics Engineers Inc., 56th IEEE International Symposium on Circuits and Systems, ISCAS 2023, Monterey, United States, 21/05/23. https://doi.org/10.1109/iscas46773.2023.10181965

Simulation and Verification of Network-Based Biocomputation Circuits. / Aluf-Medina, Michelle; Raviv, Avraham; Arora, Himanshu et al.
ISCAS 2023 - 56th IEEE International Symposium on Circuits and Systems, Proceedings. Institute of Electrical and Electronics Engineers Inc., 2023. (Proceedings - IEEE International Symposium on Circuits and Systems; Vol. 2023-May).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Simulation and Verification of Network-Based Biocomputation Circuits

AU - Aluf-Medina, Michelle

AU - Raviv, Avraham

AU - Arora, Himanshu

AU - Korten, Till

AU - Kugler, Hillel

PY - 2023

Y1 - 2023

N2 - 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.

AB - 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.

KW - Biological Computation

KW - Exact Cover

KW - Formal Verification

KW - Model Checking

KW - NP-Complete Problems

KW - Network-Based Biocomputation

KW - SAT

KW - Subset Sum Problem

UR - http://www.scopus.com/inward/record.url?scp=85167704893&partnerID=8YFLogxK

U2 - 10.1109/iscas46773.2023.10181965

DO - 10.1109/iscas46773.2023.10181965

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85167704893

T3 - Proceedings - IEEE International Symposium on Circuits and Systems

BT - ISCAS 2023 - 56th IEEE International Symposium on Circuits and Systems, Proceedings

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 56th IEEE International Symposium on Circuits and Systems, ISCAS 2023

Y2 - 21 May 2023 through 25 May 2023

ER -

Aluf-Medina M, Raviv A, Arora H, Korten T, Kugler H. Simulation and Verification of Network-Based Biocomputation Circuits. In ISCAS 2023 - 56th IEEE International Symposium on Circuits and Systems, Proceedings. Institute of Electrical and Electronics Engineers Inc. 2023. (Proceedings - IEEE International Symposium on Circuits and Systems). doi: 10.1109/iscas46773.2023.10181965

Simulation and Verification of Network-Based Biocomputation Circuits

Abstract

Publication series

Conference

Bibliographical note

Funding

Keywords

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this