Parallel LEC prover for datapath circuits
git clone https://github.com/dezhangxd/fastLEC.git --recurse-submodules
./build.sh
./build/bin/fastLEC --help
./build/bin/fastLEC --modes
./clean.sh
-
Notifications
You must be signed in to change notification settings - Fork 0
CPU+GPU Parallel Datapath Equivalence Checking Prover
License
shaowei-cai-group/fastLEC
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
CPU+GPU Parallel Datapath Equivalence Checking Prover