Generating concurrent test-programs with collisions for multi-processor verificationA. AdirGil Shurek2002HLDVT 2002
An effective and flexible approach to functional verification of processor familiesD. MalandainP. Palmenet al.2002HLDVT 2002