{"added":null,"apiVersion":1,"behindSince":"2026-09-15","buildDepends":[],"categories":["cad"],"comment":"SymbiYosys (sby): Front-end for Yosys-based formal verification flows","compare":null,"dependentCount":null,"description":"SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware\nverification flows.","flavors":[],"html":"https://daemonports.org/midnightbsd/cad/symbiyosys/","kind":"port","lastUpdate":null,"license":["iscl"],"maintainer":"ports@MidnightBSD.org","name":"symbiyosys","newest":false,"newestVersion":"0.69","noVulnData":true,"origin":"cad/symbiyosys","otherSystems":[{"maintainer":"yuri@FreeBSD.org","newest":true,"origin":"cad/symbiyosys","path":"/cad/symbiyosys/","system":"FreeBSD","updated":"2026-09-15","version":"0.69"},{"maintainer":"yuri@FreeBSD.org","newest":true,"noVulnData":true,"origin":"cad/symbiyosys","path":"","system":"GhostBSD","version":"0.69"}],"packages":null,"pkgName":"symbiyosys-0.63_1","related":null,"repository":"mports","requiredBy":[],"requiredByCount":0,"runDepends":["cad/yosys"],"status":null,"system":"midnightbsd","systemLabel":"MidnightBSD","version":"0.63_1","versions":null,"vulnerabilities":null,"www":"https://yosyshq.readthedocs.io/projects/sby/en/latest/"}