Bug#1052194: ITP: sby -- SymbiYosys -- formal hardware verification frontend for yosys

[Daniel Gröber <dxld@darkboxed.org>]

Package: wnpp
Severity: wishlist
Owner: Daniel Gröber <dxld@darkboxed.org>
X-Debbugs-Cc: debian-devel@lists.debian.org, dxld@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