Ibrahim, Walid; El-Sayed, Hesham; El-Chouemie, Amr; … - In: European Journal of Operational Research 199 (2009) 3, pp. 630-639
The increasing complexity of today's system-on-a-chip designs is putting more pressure on the already stressed design verification process. The verification plan must cover several individual cores as well as the overall chip design. Conditions to be verified are identified by the system's...