Kleene Algebra Cow
@kleene.algebracow.com
Palladium, protium and high speed ethernet.
@kleenealgebraco on twitter
@kleenealgebraco on twitter
I've always said combinational
May 1, 2026 at 4:09 PM
I've always said combinational
(non-IEEE paywalled summary: when you use an SV assign in an always block it has the same semantics as a force that gets evaluated when the block executes. This is close to---but not exactly the same as---what you would naively expect. People do this a lot and I have no idea why)
March 30, 2026 at 5:50 PM
(non-IEEE paywalled summary: when you use an SV assign in an always block it has the same semantics as a force that gets evaluated when the block executes. This is close to---but not exactly the same as---what you would naively expect. People do this a lot and I have no idea why)