Simulation and Verification of Network-Based Biocomputation Circuits.

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

Published in: ISCAS (2023)

Keyphrases

model checking
simulation model
asynchronous circuits
case study
web services
high speed
colored petri nets
real time
verification method
high fidelity
simulation environment
temporal logic
numerical simulations
search algorithm
multiscale
decision trees
machine learning
real world