I once found a silicon bug in a protocol spec — not in the RTL.

· Dev.to