Test pattern generation using Boolean satisfiability
Published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • Jan 1, 1992
NobleIDNI9P94W77R52S03
Authors:
T. Larrabee
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!