A SCAN Chain Generator for Verification of Full-Custom Integrated Circuits.

Tae-ho Shin Jaeduk Han

Published in: ISOCC (2021)

Keyphrases

integrated circuit
domain specific
electron beam
model checking
formal verification
person identification
application specific
face verification
formal methods
formal analysis
signature verification