abc_berkeley_old_Sequential Synthesis

Jump to bottom

Bankn8II©$A edited this page Mar 6, 2025 · 1 revision

Welcome to the abc_berkeley_old wiki!

Sequential Synthesis or ABC: A System for Sequential Synthesis and Verification

1951; 1961; 1970 researches:

https://barionleg.github.io/abc_berkeley_old/index.html

https://github.com/barionleg/abc_berkeley_old/releases/tag/51205