boolean-optimization

There are 0 repository under boolean-optimization 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.
electronics-design logic-synthesis graph-machine-learning graph-neural-networks deep-learning datasets electronics-design-automation boolean-optimization bulls-eye openabc-d benchmarks circuit-benchmarks logic-synthesis-benchmarks
Language:Verilog 136
NYU-MLDA / ABC-RL
This is work-in-progress (WIP) refactored implementation of "Retreival-guided Reinforcement Learning for Boolean Circuit Minimization" work published in ICLR 2024.
boolean-optimization deep-learning electronic-design electronic-design-automation iclr2024 logic-synthesis mcts mcts-agents reinforcement-learning abc-rl boolean-circuit-minimization ml-for-chip-design ml-for-logic-synthesis retrieval-guided-rl
Language:Verilog 5