High speed design verification tool