Management of non-fixed register values during random program generation e.g. for design verification of CPUs, requires marking a value state as non-fixed when the content is unknown and when any desired content can be generated

摘要

The development of central processing units(CPUs) requires the application of random code generators (RCGs) for generating random software programs which provide the thousands of random commands required during testing of the CPUs. The initial contents of the data locations are represented by values, and the random program is executed by processing of commands. The various states of the values are then marked, and a non-fixed input value is propagated to a non-fixed output value, followed by conversion into a fixed value with a desired content.