Integrating Symbolic Techniques in ATPG-Based Sequential Logic Optimization.

Enrique San Milln, Luis Entrena, Jos Alberto Espejo, Silvia Chiusano, Fulvio Corno

Browse the full DATE paper archive.