CP with Architectural State Lookup for Functional Test Generation | IEEE Conference Publication | IEEE Xplore