Putting operational techniques to the test: A syntactic theory for behavioural Verilog (1999)

by John Fiskio–Lasseter, Amr Sabry
Venue:In The Third International Workshop on Higher Order Operational Techniques in Semantics (HOOTS’99