The following packages were found for maintainer: just22@atlantide.t28.net
abc system for sequential logic synthesis and verification
yosys framework for Verilog RTL synthesis