Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
SAT-Based Verification without State Space Traversal
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
A compiled accelerator for biological cell signaling simulations
FPGA '04 Proceedings of the 2004 ACM/SIGDA 12th international symposium on Field programmable gate arrays
Dynamic behavior of cell signaling networks: model design and analysis automation
Proceedings of the 50th Annual Design Automation Conference
Hi-index | 0.00 |
Models of biological networks have been studied through simulations using a number of software tools. However, the intrinsic disparity between the sequential nature of microprocessor architecture used in software-based simulations and the highly parallel nature of biological systems may result in prohibitively long simulation times. In this work, we adopt an alternative approach to simulation of biological systems using hardware-based emulation. Our results on Boolean network models show that such an approach can provide speedup of 17,000X when compared to existing software simulation approaches.