摘要 : This paper describes a system (AVPGEN) for generating tests(called architecture verification programs or AVP's) to check theconformance of processor designs to the specified architecture. Togenerate effective tests, AVPGEN uses no... 展开 This paper describes a system (AVPGEN) for generating tests(called architecture verification programs or AVP's) to check theconformance of processor designs to the specified architecture. Togenerate effective tests, AVPGEN uses novel concepts like symbolicexecution and constraint solving, along with various biasing techniques.Unlike many earlier systems that make biased random choices, AVPGENoften chooses intermediate or final values and then solves for initialvalues that can lead to the desired values. A language called SIGL(symbolic instruction graph language) is provided in AVPGEN for the userto specify templates with symbolic constraints. The combination ofuser-specified constraints and the biasing functions is used to focusthe tests on conditions that are interesting in that they are likely toactivate various kinds of bugs. The system has been used successfully todebug many S/390 processors and is an integral part of the designprocess for these processors 收起