Model generation of test logic for macrocell based designs | Publicación