Chris Drake
Chris Drake
Some of the BDD images are huge. So far, I can't figure out how to make scaling work. It's especially bad with PDFs. This applies locally, and on ReadTheDocs.
Truth tables and implicant tables are not a good form for symbolic Boolean algebra. When the columns of two tables don't match, performing algebraic operations is _extremely_ expensive. For example,...
Currently, the `truthtable` constructor requires the `outputs` argument to be a sequence of objects that can be converted to `'0/1/-'`. Two new formats would be nice: - `dict` of `01-...
We need an equivalent for Verilog's `assume` / `assert`. Using [Ready/Valid Protocol Primer](https://cjdrake.substack.com/p/readyvalid-protocol-primer) as a starting point, for Tx/Rx implement the following checks: * `NeverReadyUnknown` (control signals cannot be X...
- [ ] Reference Model (SoftFloat) - [ ] Test Suite (TestFloat) - [ ] Formats - [ ] `FNToRecFN` - [ ] `RecFNToFN` - [ ] `INToRecFN` - [...
Currently, this is possible at the C level, but not at the Python level. Also, a literal should probably have a `get_name` method to retrieve its name from the parent...
This paper lists several methods for implementing a Boolean expression that tests the number of hot bits in the input: http://www.carstensinz.de/papers/CP-2005.pdf, also called "cardinality constraints".
This exception was observed by shader@ while testing the `precedence` repo: ``` Exception ignored in: Traceback (most recent call last): File "/usr/lib64/python3.4/site-packages/boolexpr/wrap.py", line 295, in __del__ AttributeError: 'NoneType' object has...