| 摘要 |
Embodiments of the present invention provide a method for generating write and read commands used to test hardware device models. While generating the commands, the method keeps track of the expected state of a device model by creating one or more data structures, referred to as "nodes," within which data associated with each write command is stored. Each node also includes a data valid field that indicates which locations have been written to, and a data verified field that indicates which data has been verified since the most recent write. Accordingly, the method is able to generate multiple write commands to a location without having to generate intervening read commands to validate the data. In addition, the method enables read commands to be generated in a different sequence from the sequence of generated write commands, and having different sizes than the sizes of the write commands.
|
