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.
|Title of host publication
|ISCAS 2023 - 56th IEEE International Symposium on Circuits and Systems, Proceedings
|Institute of Electrical and Electronics Engineers Inc.
|Published - 2023
|56th IEEE International Symposium on Circuits and Systems, ISCAS 2023 - Monterey, United States
Duration: 21 May 2023 → 25 May 2023
|Proceedings - IEEE International Symposium on Circuits and Systems
|56th IEEE International Symposium on Circuits and Systems, ISCAS 2023
|21/05/23 → 25/05/23
Bibliographical notePublisher Copyright:
© 2023 IEEE.
- Biological Computation
- Exact Cover
- Formal Verification
- Model Checking
- NP-Complete Problems
- Network-Based Biocomputation
- Subset Sum Problem