Moosic Yosys Plugin - Gouvine, Gabriel; Chotin, Roselyne; Zaourar, Lilia; Fontaine, Jonathan (2023)