[Libre-soc-dev] SimdSignal library

Luke Kenneth Casson Leighton lkcl at lkcl.net
Sat Oct 2 00:21:51 BST 2021


---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68

On Sat, Oct 2, 2021 at 12:03 AM Cesar Strauss <cestrauss at gmail.com> wrote:

> Just a reminder that, for PartitionedSignal (without padding), there is
> already a somewhat generic operator-based Formal Prover:
>
> https://git.libre-soc.org/?p=ieee754fpu.git;a=blob;f=src/ieee754/part/formal/proof_partition.py;h=f2ef30740d6566774aa6812936ce8a5bdd437727;hb=241b958d034f486c069acdcdd757ce61990c03e7#l324

oink.  i'd completely forgotten.  it's been months since i looked at this.

it'll need checking, as i haven't added the "some" "bool" or "all"
operators yet.

l.



More information about the Libre-soc-dev mailing list