PARAYOSYS: Tail-Aware Partition-Based Parallel RTL Synthesis
Open-source RTL synthesis still underuses multicore machines because backend optimization mixes local rewriting with global transformations. We present ParaYosys, a partition-based parallel RTL synthesis framework implemented inside Yosys. ParaYosys partitions flattened RTL, exports deterministic partition netlists, ru...