Methods and systems for functionally describing a digital hardware design and for converting a functional specification of same into a netlist

A method for converting a functional specification of a digital hardware design into a netlist, comprising the steps of:

• specifying the design by functions depending on variables wherein the functions contain data flow information and control flow information thereby generating a functional specification;
• parsing the functional specification in order to distinguish the data flow information and the control flow information;
• providing at least one local table having entries, at least a portion of the entries containing the control flow information;
• and
• providing a global table having entries, at least a portion of the entries containing the data flow information and references to the at least one local table, wherein the entries of the global table are, for given variables, function-based with the respective references to the local table such that a particular change in the design results in a change to the local table rather than to the global table;
• generating a netlist from contents of the local table and the global table, each entry of which corresponds to a variable contained in the global table.

A computer program product stored on a computer usable medium, for functionally describing a digital hardware design, comprising:

• computer readable program means for causing a computer to specify the design by functions depending on variables wherein the functions contain data flow information and control flow information thereby generating a functional specification;
• computer readable program means for causing the computer to parse the functional description in order to distinguish the data flow information and the control flow information;
• computer readable program means for causing the computer to generate at least one local table having entries, at least a portion of the entries containing the control flow information;
• and
• computer readable program means for causing the computer to generate a global table having entries, at least a portion of the entries containing the data flow information and references to the at least one local table, wherein the entries of the global table are, for given variables, function-based with the respective references to the local table such that a particular change in the design results in a change to the local table rather than to the global table.

A computer program product stored on a computer usable medium for converting a functional specification of a digital hardware design into a netlist, comprising:

• computer readable program means for causing a computer to specify the design by functions depending on variables wherein the functions contain data flow information and control flow information thereby generating a functional specification;
• computer readable program means for causing the computer to parse the functional description in order to distinguish the data flow information and the control flow information;
• computer readable program means for causing the computer to generate at least one local table having entries, at least a portion of the entries containing the control flow information;
• computer readable program means for causing the computer to generate a global table having entries, at least a portion of the entries containing the data flow information and references to the at least one local table, wherein the entries of the global table are, for given variables, function-based with the respective references to the local table such that a particular change in the design results in a change to the local table rather than to the global table;
• and
• computer readable program means for causing the computer to generate a netlist from contents of the local table and the global table, each entry of which corresponds to a variable contained in the global table.

A method for functionally describing a digital hardware design, comprising the steps of:

• specifying the design by functions, excluding logically non-perceivable functions, depending on variables wherein the functions contain data flow information and control flow information thereby generating a functional specification, by specifying control flow objects and data flow objects, and providing interconnection between the control flow objects and the data flow objects;
• parsing the functional specification in order to distinguish the data flow information and the control flow information;
• generating at least one local table having entries, using fixed rules, at least a portion of the entries containing the control flow information;
• and
• providing a global table having entries, at least a portion of the entries containing the data flow information and references to the at least one local table, wherein the entries of the global table are, for given variables, functions together with respective references in the local table such that a particular change in the design results in a change to the local table rather than to the global table.

A system for functionally describing a digital hardware design, comprising:

• means for specifying the design by functions depending on variables wherein the functions contain data flow information and control flow information thereby generating a functional specification;
• means for parsing the functional specification in order to distinguish the data flow information and the control flow information;
• means for providing at least one local table having entries, at least a portion of the entries containing the control flow information;
• and
• means for providing a global table having entries, at least a portion of the entries containing the data flow information and references to the at least one local table, wherein the entries of the global table are, for given variables, function-based with the respective references to the local table such that a particular change in the design results in a change to the local table rather than to the global table.