projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16d4cdd) | patch
Generate the bit pattern of gates corresponding to a partition
authorCesar Strauss <cestrauss@gmail.com>
Tue, 5 Jan 2021 20:32:40 +0000 (17:32 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Tue, 5 Jan 2021 20:32:40 +0000 (17:32 -0300)
commit208e7292545592407fb3d6708b15dd77d8498d57
treeddbf2c7d41d210a3d1fad0b85d369f11c939bf0etree
parent16d4cdd1f0e4057bc60fa70197a95f1dc3d0a418commit | diff
Generate the bit pattern of gates corresponding to a partition

Use Assume to constraint the pattern to conform to the given offset
and width. For each bit it is:
1) one if on the partition boundary
2) zero if it's inside the partition
3) don't care, otherwise
src/ieee754/part/formal/proof_partition.py diff | blob | history