From Circuit Simulation to Circuit Verification: An Internal + Boundary Scan-based Solution - Alves, Gustavo R. (2000)