To run SynthEC, first run steps 0, 1, and the DUV PL enumeration step in step 2.
WIP
- Synthesized upaths for all instructions in html: here
- Formal proof: supplementary.pdf
williamzhu17/SynthLC
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- SystemVerilog 81.3%
- C++ 17.7%
- C 0.6%
- Python 0.2%
- Tcl 0.1%
- Makefile 0.1%