Felix Nicoli Denotational Semantics of a Behavioral Subset of VHDL. 975-976 1998 conf/date/1998 DATE http://csdl.computer.org/comp/proceedings/date/1998/8359/00/83590975abs.htm db/conf/date/date1998.html#Nicoli98