Category
page 1Electronic circuit verification
formal verification
act of proving or disproving the correctness of intended algorithms
Layout Versus Schematic
type of electronic circuit design software
Automatic test pattern generation
electronic design automation method/technology used to find a test sequence
Design rule checking
verification of geometric constraints on electronic designs
logic simulation
performed at varying degrees of physical abstraction
Formal equivalence checking
stage of electronic circuit design verification
Scan chain
type of manufacturing test used with integrated circuits