Below you can find a list of software tools developed for publications I have co-authored.
XSAT
XSAT: The source code for the publication “Verification of Flow-Based Computing Systems using Bounded Model Checking” can be found on GitHub.
UpTime
UpTime: The source code for the publication “UpTime: Towards Flow-based In-Memory Computing with High Fault-Tolerance” on GitHub.
FLOW-3D
FLOW-3D: The source code for the publication “FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter” can be found on GitHub.
CHECK
CHECK: The source code for the publication “Equivalence Checking for Flow-Based Computing” can be found on GitHub.
PATH
PATH: The source code for the publication “PATH: Evaluation of Boolean Logic using Path-based In-Memory Computing” can be found on GitHub.
COMPACT
The source code for the publication “COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter” can be found on GitHub.