Patent ID: 9507680
Filing Date: 2016-11-29
CPC Classification: G06F

Claim Text:
1. A verification system for automated verification of register information for an electronic system, the verification system comprising: a design database containing a description of the electronic system, a register description database containing a behavioural description of registers, a customization information database for storing customization information specific to a particular version of the electronic system, a stimulus generator arranged to generate verification stimuli by combining information stored in the register description database with customization information, a check function database, a simulator operably coupled to the design database and arranged to execute said verification stimuli in accordance with at least one check function from the check function database and arranged to generate a simulation result, a mismatch identification module arranged to evaluate the simulation result and to identify a mismatch between an expected behaviour of a register access and an actual behaviour of said register access and arranged to enable identification and correction of a root cause of a mismatch within the design database, the customization information database or the register description database, a document information database containing the behavioral description of registers, wherein the document information database contains register information, the register information comprising the behavioral description of the registers, wherein the register information is enriched with a textual description of functionality controlled by the registers and fields within the registers, and a document generator for generating documentation based on the behavioural description of the registers, the documentation selected from a group consisting of a user manual and a reference manual, wherein the document generator is configured to generate the documentation based on the behavioral description of the registers contained in the document information database, to combine the register information with the textual description, to format results, and to generate from the results a human readable document.