Semisol 👨💻 on Nostr: ❌ formal verification finding bugs in your RTL ✅ formal verification finding bugs ...
❌ formal verification finding bugs in your RTL
✅ formal verification finding bugs in your testbench
Published at
2025-01-10 23:01:41Event JSON
{
"id": "88edb4e821c20f088b7e0c6261761eb89299885a12599c73a440ce6a7f64a849",
"pubkey": "52b4a076bcbbbdc3a1aefa3735816cf74993b1b8db202b01c883c58be7fad8bd",
"created_at": 1736550101,
"kind": 1,
"tags": [],
"content": "❌ formal verification finding bugs in your RTL\n✅ formal verification finding bugs in your testbench",
"sig": "6ab0fa7830912d38a2a5ba584192267377b1da5b669e0aefb45912849f91e2d34d1017b876ce891f9416a1812cbe56c46988b7129ce00489e98c0de72a59418d"
}
