Semisol 👨💻 on Nostr: I am writing HDL… it is good except when it is not 🤣 formal verification ...
I am writing HDL… it is good except when it is not 🤣
formal verification somewhat helps
Published at
2025-01-15 16:41:17Event JSON
{
"id": "86828eb7b8a305fb32ecbff7b41f757864c7552f9f3ba0d23cf591b3464846d1",
"pubkey": "52b4a076bcbbbdc3a1aefa3735816cf74993b1b8db202b01c883c58be7fad8bd",
"created_at": 1736959277,
"kind": 1,
"tags": [
[
"e",
"8298044cd796be87fdafab66a397012fa70c623c631723764adffc274ec32b9c",
"",
"root"
],
[
"e",
"e0b6e8ecf5666b1d883d2487ba1a04a2c9fcb9b393713d603a41a23a91ce5a5c",
"",
"reply"
],
[
"p",
"74ffc51cc30150cf79b6cb316d3a15cf332ab29a38fec9eb484ab1551d6d1856"
],
[
"p",
"32e1827635450ebb3c5a7d12c1f8e7b2b514439ac10a67eef3d9fd9c5c68e245"
],
[
"p",
"036533caa872376946d4e4fdea4c1a0441eda38ca2d9d9417bb36006cbaabf58"
]
],
"content": "I am writing HDL… it is good except when it is not 🤣\n\nformal verification somewhat helps",
"sig": "6ca320fbb0699c262ff3dae866c4c5d728b17b98a4b83670e2505fc5844d03995a2c214a2efcb4cf667297b1416db23780518b001913f5806df4fea0c40aad8a"
}
