Abstract: A system for verifying register information includes a design database containing a description of the electronic system, a register description database containing register information relating to the electronic system, a customization information module for storing a customization information extracted from the design database and a simulator which is arranged to execute verification stimuli in accordance with at least one check function and to generate a verification result. Verification stimuli are generated by combining register information with customization information. A mismatch between the expected and actual register implementation is recorded and the register in question identified. This permits corrections to be applied as appropriate to the document database or to the register description database. The corrected register description database may be used in a document generation process to produce an up-to-date reference manual for the electronic system.

Abstract: A system for verifying register information includes a design database containing a description of the electronic system, a register description database containing register information relating to the electronic system, a customization information module for storing a customization information extracted from the design database and a simulator which is arranged to execute verification stimuli in accordance with at least one check function and to generate a verification result. Verification stimuli are generated by combining register information with customization information. A mismatch between the expected and actual register implementation is recorded and the register in question identified. This permits corrections to be applied as appropriate to the document database or to the register description database. The corrected register description database may be used in a document generation process to produce an up-to-date reference manual for the electronic system.