Patent ID: 7971163
Filing Date: 2011-06-28
Classification: G06F

Abstract:
1. A property automatically generating apparatus, which generates a property representing a specification of an integrated circuit described in a specification description language in order to verify design information by a verifying tool, in said design information the integrated circuit being described in RTL (Register Transfer Level) using a hardware description language, comprising: an address expanding unit, to which a property abbreviated description file regarding a group of registers among a plurality of registers is given; and a database, which stores a register name to identify each of said plurality of registers, wherein said register name includes a group of hierarchy instances representing a character string, in said property abbreviated description file, an abbreviated register name, which identifies said group of registers and includes said group of hierarchy instances, and an abbreviated address, which includes a group of bit sections corresponding, respectively, to said group of hierarchy instances of said abbreviated register name, are described, each of said group of bit sections represents a bit string, a specific hierarchy instance of said group of hierarchy instances of said abbreviated register name represents a symbol different from said character string, a specific bit section of said group of bit sections of said abbreviated address, which corresponds to said specific hierarchy instance, represents a symbol corresponding to a number of bit as said bit string, said address expanding unit expands an address and generates a group of addresses, based on said abbreviated address of said property abbreviated description file, a number of said specific bit section and a bit number of said specific bit section, and said property automatically generating apparatus further comprises: an RTL analysis unit, which selects a register name, as said group of register names, from said respective register names of said plurality of registers stored in said database, said register name corresponding to said group of hierarchy instances of said abbreviated register name of said property abbreviated description file, said register name including a group of hierarchy instances corresponding to a hierarchy instance other than said specific hierarchy instance; and a property generation unit, which generates said property correlating said group of addresses with said group of register names.