Merge requests · mvg / mvg-rtl / benchmark / OpenABC · GitLab

mix_oabcd.v: *.v after 'logopt' passes (aig, rf)

!12 · created Aug 22, 2025 by Sergey Smolov
- Merged
- Approved
updated Aug 22, 2025
verilog_openabcd/rw/mix_oabcd.v

!11 · created Aug 22, 2025 by Sergey Smolov
- Merged
- Approved
updated Aug 22, 2025
fix input-vs-wire naming issue at mix_oabcd.v interface

!10 · created Aug 22, 2025 by Sergey Smolov
- Merged
- Approved
updated Aug 22, 2025
Update verilog_openabcd/init/mix_oabcd.v

!9 · created Aug 07, 2025 by Ильина Екатерина Сергеевна
updated Aug 07, 2025
Adding a mixing scheme

!8 · created Jul 15, 2025 by Ильина Екатерина Сергеевна
- Merged
- Approved
updated Jul 15, 2025
Minor fixes in 'README.md'.

!7 · created Apr 28, 2025 by Григоров Иван Александрович
- Merged
- 1
- Approved
updated Jul 15, 2025
verilog_openabcd/aig: add Cadence Conformal statistics

!6 · created Feb 26, 2025 by Ильина Екатерина Сергеевна
updated Feb 26, 2025
[graphml] New benchmark for LEC tools (after logopt aig+fs and aig+rw)

!5 · created Feb 21, 2025 by Ильина Екатерина Сергеевна
updated Mar 04, 2025
[graphml] New benchmark for LEC tools (before/after logopt aig+fr)

!4 · created Feb 21, 2025 by Ильина Екатерина Сергеевна
- Merged
- 9
updated Mar 04, 2025
[verilog] Reorganizing and expanding benchmark for LEC tools

!3 · created Feb 20, 2025 by Ильина Екатерина Сергеевна
- Merged
- 13
updated Feb 26, 2025
verilog_openabcd: add Cadence Conformal statistics

!2 · created Feb 17, 2025 by Ильина Екатерина Сергеевна
updated Feb 17, 2025
Resolve "[verilog] new benchmark for LEC tools (before/after 'rf' Utopia pass)"

!1 · created Feb 14, 2025 by Sergey Smolov
- Merged
updated Feb 14, 2025