Methods and systems for automatic verification of specification document to hardware design

A system for automatically verifying a hardware design based on a hardware specification document, said system comprising:

• a plurality of predefined elements designated within a hardware specification document, wherein said hardware specification document provides a hardware design for a hardware device;
• a database of hardware components for storing said plurality of predefined elements, wherein each predefined element of said plurality of predefined elements is associated with a hardware component of said hardware device;
• wherein said plurality of predefined elements are embedded within said hardware specification document preparatory to storing said predefined elements in said database, wherein said plurality of predefined elements comprise flags which can be utilized by a document readerscript;
• an RTL auto-generation module for creating at least one RTL Hardware description code from said database, said RTL Hardware description code file(s) defining said predefined elements stored in said database;
• and
• a comparing module for automatically comparing physical components of said hardware device with said predefined elements maintained within said database of said hardware components upon an initial power-up of said hardware device, in order to verify that said hardware device functions according to said hardware specification document.

A system for automatically verifying a hardware design based on a hardware specification document, said system comprising:

• a plurality of predefined elements designated within a hardware specification document, wherein said hardware specification document provides a hardware design for a hardware device;
• a database of hardware components for storing said plurality of predefined elements, wherein each predefined element of said plurality of predefined elements is associated with a hardware component of said hardware device;
• a document parsing utility storing said plurality of predefined elements in said database, wherein said hardware specification document comprises a specified format which is readable by said document parsing utility, wherein said specified format includes at least one of the following sections:
• register map tables, address map tables, and register descriptions;
• an RTL auto-generation module for creating at least one RTL Hardware description code from said database, said RTL Hardware description code file(s) defining said predefined elements stored in said database;
• a comparing module for automatically comparing physical components of said hardware device with said predefined elements maintained within said database of said hardware components upon an initial power-up of said hardware device, in order to verify that said hardware device functions according to said hardware specification document;
• and
• wherein said plurality of predefined elements are embedded within said hardware specification document preparatory to storing said plurality of predefined elements in said database, such that said plurality of predefined elements comprise invisible flags which can be utilized by a document reader script.