FOSS architecture definitions of FPGA hardware useful for doing PnR device generation.
Primary LanguageCoqISC LicenseISC