Test Generation for Single and Multiple Stuck-at Faults of a Combinational Circuit Designed by Covering Shared ROBDD with CLBs. - Anjela Yu. Matrosova; Ekaterina Loukovnikova; Sergei Ostanin; Alexandra Zinchuk; Ekaterina Nikolaeva (DFT, 2007)