%0 Generic %D 2004 %T RUBASTEM: A Method for Testing VHDL Behavioral Models %A Andrews, A %A O'Fallon, A %A Chen, T %C Tampa %U http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/hase/2004/2094/00/2094toc.xml&DOI=10.1109/HASE.2004.1281743