Yosys Open SYnthesis Suiteなるものを見つけました。
プレゼンテーション資料は、今年6月なので結構新しい。
開発した人、結構いろんなもの作っているみたい。3頁目。
Yosysでサポートするのは、Logic Synthesis、RTL Synthesis、Behavioral Synthesisとあります。7頁目。
60頁以降は、例題。Synthesis、Advanced Synthesis、Beyond Synthesis
興味がある方は、是非!
検証、Verification、HLS