npub13levfmuj9uu5gy4mhh0tg5nkujqujkyky8220rd0dkwpm4p950eqss6saf (npub13le…6saf) I did a bit of manual logic derivation/optimization last night, see https://github.com/michaelengel/lisaprom
If I didn't miss an optimization opportunity, bit 7 requires 19 terms, so it won't fit as it is. I think it should be possible to split the terms into two halves (one for addr bit 7=0 and the other for bit 7=1) and route one of the results back to an additional input pin. This would imply a longer latency for bit 7, but I think the GAL is fast enough. Need to give this some more thought...
Michael Engel /
npub1qr…lh5my
2023-09-07 07:06:32
in reply to nevent1q…kphq
Author Public Key
npub1qr3r7e8stpe05hlxk4uyxa0vajqlmy6gge4acle5hdl5n0qjqwfqjlh5myPublished at
2023-09-07 07:06:32Event JSON
{
"id": "e981463faefc139c0f016150b2897a4abdbf71779c1125fc6fdea264037ff1d3",
"pubkey": "00e23f64f05872fa5fe6b5784375ecec81fd9348466bdc7f34bb7f49bc120392",
"created_at": 1694070392,
"kind": 1,
"tags": [
[
"p",
"8ff2c4ef922f394412bbbddeb45276e481c9589621d4a78daf6d9c1dd425a3f2",
"wss://relay.mostr.pub"
],
[
"p",
"b0a11a6125c511239cd7a0f1ea8c4eea15a57707dfdd9ef57e27cc22f46aea77",
"wss://relay.mostr.pub"
],
[
"e",
"c3ed8125360f60fb7eb7cb86dcf6fb4f7e09ade47011615a44b0a079f1c92685",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://sueden.social/users/me_/statuses/111022597209995021",
"activitypub"
]
],
"content": "nostr:npub13levfmuj9uu5gy4mhh0tg5nkujqujkyky8220rd0dkwpm4p950eqss6saf I did a bit of manual logic derivation/optimization last night, see https://github.com/michaelengel/lisaprom\n\nIf I didn't miss an optimization opportunity, bit 7 requires 19 terms, so it won't fit as it is. I think it should be possible to split the terms into two halves (one for addr bit 7=0 and the other for bit 7=1) and route one of the results back to an additional input pin. This would imply a longer latency for bit 7, but I think the GAL is fast enough. Need to give this some more thought...",
"sig": "f08db9c47492d48948e6df2f5ed4c2f7371d562d236d3c3cf317a04ef9cf1bb5dbf950fcbdf41f5af2839bb282559f91dfd35f1067512346f2d201448f134d63"
}