"VHSIC"@cs .