ABC: System for Sequential Logic Synthesis and Formal Verification - berkeley-abc |
GitHub | https://github.com/berkeley-abc/abc | |
Size | 71.3M (71.2M (+72K)) | |
Commits | 5227 (5224 (+3)) | |
Update Stats | 0s ... 11m29s [Ø (last 10) 2s (1,3,3,1,2,2,2,3,2,2))] | |
Last Change | 2023-09-12 17:26:37 | |
Last Check | 2023-09-15 08:56:16 | |
Created | 2022-07-24 15:46:34 |
Operation
Verifying url ...
Mail to Andreas Kupries