Package: wnpp Severity: wishlist Owner: Daniel Gröber <d...@darkboxed.org> X-Debbugs-Cc: debian-de...@lists.debian.org, d...@darkboxed.org
Hi, * Package name : sby Version : 0.33 Upstream Author : YosysHQ GmbH et al. * URL : https://github.com/YosysHQ/sby * License : ISC Programming Lang: Python Description : SymbiYosys -- formal hardware verification frontend for yosys SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware verification flows. SymbiYosys provides flows for the following formal tasks: - Bounded verification of safety properties (assertions) - Unbounded verification of safety properties - Generation of test benches from cover statements - Verification of liveness properties -- The test suite for yosys-plugin-ghdl has started to depend on sby so I figure it's time to package it in Debian if only for test coverage. Currently upstream uses a custom Makefile based approach to Python packaging but I was assured they are planning to migrate to a more standardised approach (eventually). I'm unsure if it would be better to put this package in electronics-team or python-team, but it doesn't look too crazy complicated at first glance so I'm tending towards electonics. I don't actually have a use for hardware verification tools currently so if anyone is interesting in that area I'd be happy to have someone to help with testing against real world projects and such. I will likely need a sponsor for this package unless my DD application goes though before I end up doing the packaging work ;) --Daniel
