1
Stefan Letz, Michelangelo Masini, Juergen Vielfort, Kai Weber: Verifying a register-transfer level design of an execution unit. International Business Machines Corporation, Francis Lammes, Stephen J Walder Jr, Libby Z Toub, March 19, 2013: US08402403

A mechanism is provided for verifying a register-transfer level design of an execution unit. A set of instruction records associated with a test case are generated and stored in a buffer. For each instruction record in the set of instruction records associated with the test case: the instruction rec ...


2
Stefan Letz, Michelangelo Masini, Juergen Vielfort, Kai Weber: Verifying a Register-Transfer Level Design of an Execution Unit. International Business Machines Corporation, June 23, 2011: US20110154110-A1

A mechanism is provided for verifying a register-transfer level design of an execution unit a set of instruction records associated with a test case are generated and stored in a buffer. For each instruction record in the set of instruction records associated with the test case: the instruction reco ...