Test insertion at the RT level using functional test metrics. - Haidar Harmanani; Salam Harfoush (ICECS, 2000)