US9875325B2 - Computer Implemented System and Method of Identification of Useful Untested States of an Electronic Design