DMCA

A formal description of behavioral Verilog based on axiomatic semantics (1998)

by John Fiskio-lasseter
Citations:2 - 1 self