VLIW - A case study of parallelism verificationAllon AdirYaron Arbetmanet al.2005DAC 2005Conference paper