/vlsiffra-hdl-library

Library of adders and multipliers (generated by vlsiffra) for usage in open source silicon tools (or designs) like Yosys, OpenLane, and OpenROAD.

Primary LanguageCoqApache License 2.0Apache-2.0

Stargazers