boolean-optimization

Here are 2 public repositories matching this topic...

NYU-MLDA / OpenABC

OpenABC-D is a large-scale labeled dataset generated by synthesizing open source hardware IPs. This dataset can be used for various graph level prediction problems in chip design.

deep-learning benchmarks datasets logic-synthesis graph-machine-learning electronics-design graph-neural-networks boolean-optimization electronics-design-automation openabc-d bulls-eye logic-synthesis-benchmarks circuit-benchmarks

Updated Oct 10, 2024
Verilog

NYU-MLDA / ABC-RL

Star

This is work-in-progress (WIP) refactored implementation of "Retreival-guided Reinforcement Learning for Boolean Circuit Minimization" work published in ICLR 2024.

reinforcement-learning deep-learning mcts logic-synthesis electronic-design-automation boolean-optimization electronic-design mcts-agents iclr2024 abc-rl retrieval-guided-rl boolean-circuit-minimization ml-for-logic-synthesis ml-for-chip-design

Updated May 10, 2024
Verilog

Improve this page

Add a description, image, and links to the boolean-optimization topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the boolean-optimization topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly