Programmable Logic Array (PLA) Tool - Converts ROMs into CPLD equations. (Python 3)
Primary LanguageCoqGNU Lesser General Public License v3.0LGPL-3.0