[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:
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"
More information about the Libre-soc-dev