rtl-optimization

Here is 1 public repository matching this topic...

bradpierce-ai-eda / logic-optimization-is-becoming-a-learning-system

Machine-readable reflection of Brad Pierce’s Zenodo paper on RTL logic optimization, formal evidence, physical feedback, and engineering memory. DOI: 10.5281/zenodo.22837235

formal-verification logic-synthesis electronic-design-automation engineering-memory rtl-optimization

Updated Nov 10, 2026
HTML

Add this topic to your repo

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

Learn more