spinal.core.formal.SymbiYosysBackend
(Since version ) see corresponding Javadoc for more information.