Reasoning about the VHDL Standard Logic Package Signal Data Type.

J. W. Gambles Phillip J. Windley Reasoning about the VHDL Standard Logic Package Signal Data Type. 123-130 1993 conf/chdl/1993 CHDL db/conf/chdl/chdl1993.html#GamblesW93