Pursuant to 35 USC §119(e), this application claims priority to and benefit of U.S. patent application Ser. No. 11/053,078, entitled “METHODS, SYSTEMS, AND MEDIA FOR FUNCTIONAL SIMULATION OF NOISE AND DISTORTION ON AN I/O BUS”, filed on the same day, the disclosure of which is incorporated herein in its entirety for all purposes.
The present invention generally relates to the field of functional simulation and verification of complex systems. More particularly, the present invention relates to methods, systems, and media for managing functional verification of a parameterizable design.
When designing increasingly complex processors or IC chips such as Application-Specific ICs (ASICs) and system-on-chips (SoC's), functional verification has proven to be a major bottleneck in achieving time-to-market goals. Many companies now realize that functional verification of complex chips has become an inefficient, unwieldy, and incomplete process. Design teams report that functional verification of medium- to large-complexity processors, ASICs or SOC's may consume over 70% of the project's manpower, schedule and budget. In spite of the time and resources consumed by functional verification, it is still often incomplete, allowing design bugs to go undetected. Improved functional verification can cut costs, improve design quality and accelerate time-to-market, as well as allowing companies to sharply increase the productivity of precious verification personnel.
The design process for a chip starts with the creation of a functional specification for the design. Once the functional specification has been completed, the verification team typically creates a test plan that specifies the design features and functions to be tested at both the block and system levels. The verification team then creates tests to verify design functionality until all test plan requirements have been met. The verification process involves developing and simulating tests that are used to determine whether design components (e.g., processor units, I/O units, resources, functions, etc.) behave according to their functional specification in a process known as functional simulation. Functional verification is often an iterative process where the entire system (or at least all its major features) is tested or functionally simulated on a continuous basis for the duration of the design process. Functional verification is typically completed before fabrication, as finding and fixing errors, or bugs, after fabrication proves to be time-consuming and expensive. Functional coverage is the study and analysis of the quality and completeness of functional verification. It includes statistical, stochastic and heuristic analysis of functional verification progress and completeness.
Formal methods can be applied to the design for verification of design features, as well as identifying design connectivity and signal propagation characteristics. In most such cases, a set of formal rules or design behavior specifications are defined and applied against a compiled model of the design to identify any deviation from the formal specification (rules). Some tools can generate a set of checkers and monitors from the formal rules which can then be used along with the simulation-based verification.
Software tools have been developed to help designers and testers with the functional verification process. A design under test (DUT) may be described using a hardware description language (HDL) such as VHSIC (Very High Speed Integrated Circuits) HDL (VHDL) or Verilog. Automation tools such as Verisity Design, Inc.'s (Verisity's) Specman testbench automation software provide an environment for generation of functional tests, data and temporal checking, functional coverage analysis, and HDL simulation control.
Some design components require sophisticated modeling in order to properly simulate their performance (and thus to complete functional verification). Functional verification of a high-speed, self-aligning, elastic I/O design, for example, poses problems with existing verification environments. An I/O design, for example, may ultimately be used in a number of different chips, each chip requiring a different size, shape, speed, and FIFO (First In, First Out) size due to its intended function and use. Each of these variations needs to be functionally simulated and verified. Functionally verifying these different variations results in a large number of different configurations needing to be stored and managed, wasting resources in storage and personnel time. These variations also necessitate reconfiguring the verification environment repeatedly to account for different I/O designs, releases, versions, and the like, again utilizing valuable resources. There is, therefore, a need for an improved mechanism for managing functional verification of parameterizable components such as I/O bus designs.
The problems identified above are in large part addressed by methods, systems, and media for managing functional verification of a parameterizable design. One embodiment generally provides a method for configuring a testbench using hardware design language configurations where the testbench has one or more parameterizable components. The hardware design language configurations may provide an indication of which of the one or more components are used to configure the testbench. The method may further include observing values in the testbench and automatically configuring a verification environment based on the observed values. Further embodiments of the method may include accessing files associated with the design, compiling files associated with the design, and storing the compiled code in a compiled library specified in a Makefile. Additional embodiments may include creating a series of base checker unit types based on hierarchy layers in the design and creating a series of structs based on the hierarchy layers that can dynamically match the design to provide a flexible checking environment. Further embodiments may include where configuring the testbench includes instantiating a component of a generic design in the testbench where the testbench has testbench signals and the component has a plurality of ports, with the testbench signals being wired to all of the ports. Configuring the testbench may also include in response to a chip-specific design with different ports than the generic design, instantiating in the testbench one or more special components where the special components are wired to the same ports as the generic design.
Another embodiment provides a machine-accessible medium containing instructions effective, when executing in a data processing system, to cause the system to perform a series of operations for synchronizing a database on a network. The series of operations generally includes configuring a testbench using hardware design language configurations where the testbench has one or more parameterizable components. The hardware design language configurations may provide an indication of which of the one or more components are used to configure the testbench. The series of operations may further include observing values in the testbench and automatically configuring a verification environment based on the observed values. Further embodiments may include accessing files associated with the design, compiling files associated with the design, and storing the compiled code in a compiled library specified in a Makefile. Additional embodiments may include creating a series of base checker unit types based on hierarchy layers in the design and creating a series of structs based on the hierarchy layers that can dynamically match the design to provide a flexible checking environment. Further embodiments may include where configuring the testbench includes instantiating a component of a generic design in the testbench where the testbench has testbench signals and the component has a plurality of ports, with the testbench signals being wired to all of the ports. Configuring the testbench may also include in response to a chip-specific design with different ports than the generic design, instantiating in the testbench one or more special components where the special components are wired to the same ports as the generic design.
A further embodiment provides a system for managing functional simulation of an I/O bus design. The system may include a user interface adapted to receive user input and a testbench configuration module. The testbench configuration module may in one embodiment configure a testbench having testbench signals and an instantiated component having a plurality of ports of a generic design where the testbench signals are wired to the plurality of ports. The testbench may also have one or more instantiated special components based on chip-specific versions of the design where the special components are wired to the same ports as the generic design. The system may also include a verification component manager to observe values in the testbench and to automatically configure a verification environment based on the observed testbench values. The testbench may be a VHDL or Verilog testbench in some embodiments.
Other objects and advantages of the invention will become apparent upon reading the following detailed description and upon reference to the accompanying drawings in which, like references may indicate similar elements:
The following is a detailed description of example embodiments of the invention depicted in the accompanying drawings. The example embodiments are in such detail as to clearly communicate the invention. However, the amount of detail offered is not intended to limit the anticipated variations of embodiments; but, on the contrary, the intention is to cover all modifications, equivalents, and alternatives falling within the spirit and scope of the present invention as defined by the appended claims. The detailed descriptions below are designed to make such embodiments obvious to a person of ordinary skill in the art.
Methods, systems, and media for managing functional verification of a parameterizable design are disclosed. Embodiments include a system having a testbench configuration module adapted to configure a testbench, the testbench having testbench signals and one or more instantiated components having a plurality of ports of a generic design, where the testbench signals are wired to the plurality of ports. The testbench configuration may also have one or more instantiated special components based on chip-specific versions of the design where the special components are wired to the same ports as the generic design. The system may also include a functional verification manager that, through a component module, observes values in the testbench and automatically configures a verification environment based on the observed values, including automatic insertion of checkers at different levels of hierarchy. The testbench may be a VHDL or Verilog testbench in some embodiments.
The methods, systems, and media of the disclosed embodiments provide an improved mechanism for managing functional verification of parameterizable designs such as I/O bus designs. The mechanism of the disclosed embodiments provides improved efficiency for simulating and verifying parameterizable designs by reducing the effort and resources required to create and manage testbenches and tests. The resources spent managing data and files may be significantly reduced by the mechanism of the disclosed embodiments. Similarly, the creation of a specific configuration of a verification environment may be automatically accomplished, further reducing the verifier resources necessary to functionally verify a design. These efficiencies that may be gained from the disclosed embodiments may be further increased when chip-specific designs or different releases of a design need be verified, as the mechanism of the disclosed embodiments may automatically adapt to specific designs and different releases.
Turning now to the drawings,
The DUT 104 may represent a parameterizable design such as an I/O bus design that is being functionally simulated and verified by the functional verification system 100. The DUT 104 may be described using a hardware description language such as VHDL or Verilog. During verification, the verification environment 102 may drive the DUT 104 to simulate various test conditions. The DUT 104 may include an RX unit 118. In one embodiment, the DUT 104 may represent a high-speed, self-aligning, elastic I/O design. The methodology of the disclosed embodiments may advantageously adapt to different designs having different bus widths, hierarchical boundaries, FIFO depths, and the like, providing a scaleable solution to functionally verifying designs that change by release, during the design process, etc.
The verification environment 102 may be a software tool that helps designers and testers with the functional verification process by automating the configuration of testbenches, running simulations, and the like. The verification environment 102 may generate design stimuli, provide stimulus to the DUT 104, and then monitor and check the responses to the stimulus, providing an effective means of simulating a given design. Verification environment 102 may include any simulators or tests that are used in the functional verification process. The simulators and/or tests may be distributed over multiple servers or computers. Simulations (including tests or the results of simulators) may test for failures (also known as bugs or faults) in the design, which are situations where the logic expressed in the design language (e.g., VHDL, Verilog) does not perform correctly under specific situations. To handle the large amount of tests often necessary to properly verify a design, verification environment 102 may take advantage of existing verification automation tools such as Verisity's Specman testbench automation software, which provides an environment for generation of functional tests, data and temporal checking, functional coverage analysis, and HDL simulation control. Any other type of testbench automation software may be used, including code written in C++ or other languages.
In the depicted embodiment, verification environment 102 includes a configuration module 108 and an RX agent 110. The verification environment 102 may include other components as well, such as local clock agents or control agents, but
The RX top BFM 114 may include one or more sub-BFMs, including clock sub-BFMs 126 or data sub-BFMs 128. Similarly, the RX top monitor 116 may include one or more sub-monitors 130. The sub-monitors and sub-BFMs may represent multiple instances of monitors and BFMs instantiated by the verification environment 102. Each sub-monitor and sub-BFM may represent a particular layer of hierarchy. Layers of hierarchy (‘group’, ‘pack’, ‘cust’, and ‘bit’ in descending order of size in one embodiment) may be used to logically and physically divide up the bits on the bus or other design to best suit the use in the end chip product. For example, a RX top monitor 116 may include a plurality of bit-level sub-monitors, a plurality of group-level sub-monitors, and the like.
The functional verification manager 106 may include a user interface 120, a testbench configuration module 122, and a verification component manager 124. The functional verification manager 106 and/or its components may include or be in communication with a database 130 for storage of files such as libraries, configurations, and compiled code. User interface 120 may receive input from a user, such as via a keyboard or pointing device, and may also communicate output to the user, such as via a monitor, auditory signal, or printer.
In one embodiment, the testbench configuration module 122 may access a design testbench manually created by a verifier. The verifier may instantiate all of the components and then bind the correct one with a VHDL configuration. The verifier, when creating the testbench may also manually create the signals and components, as well as instantiating the components, as part of the created testbench. The testbench signals may be wired to every port of the VHDL component, which may control the sizes of the testbench signals. The verifier may create a VHDL component of the generic version of the design and any special VHDL components for the chip-specific or alternate designs. The verifier may also instantiate the generic components in the testbench as well as the special components, in the event the chip-specific versions contain different ports or different numbers of ports than the generic logic. The testbench configuration module 122 may then configure the VHDL testbench and bind the appropriate component based on a generic design as well as variations on that design associated with a chip-specific or other alternative designs. The special VHDL components may be advantageously tied to the same testbench signals as the main generic VHDL component to provide a common point into which the verification environment 102 may be connected.
After the testbench configuration module 122 configures the testbench, the verification component manager may then observe the values of the testbench configuration module 122 to configure, in conjunction with the configuration module 108, a verification component to match the design being verified. The testbench configuration module 122 may generate and store compiled code for each design. The verification component manager 124 and/or configuration module 108 may, in some embodiments, utilize Specman or other testbench automation software to perform its functions, such as by using a Specman eVC (‘e’ verification component, where ‘e’ is the Specman verification language). After the verification component is configured, it may then be set up and verified in the verification environment 102. The verification component manager 124 and/or configuration module 108 may configure the verification component automatically, saving personnel time and resources.
Previous systems for functional verification required significant management by verifiers to properly configure the verification environment 102 and the VHDL environment. One method involved creating a unique VHDL testbench for each configuration with the design instantiated within it and with all of the components and wiring connections specified in the testbench. A separate verification environment 102 configuration would then be created to match each parameter of the testbench. A verifier would need to match up the VHDL testbenches and the verification environment 102 configurations and load these into each testcase run to simulate the design. This solution required wasted resources and redundancy because of the specification of the wiring connections in each testbench and the need to create a replica of the verification environment configuration. Moreover, the verifier would need to manually pair the two separate configurations each time a testcase needed to be run, making it difficult to work with multiple configurations, resulting in more errors, and requiring more effort from the verifier. The mechanism of the disclosed embodiments provides for automation and efficiency by handling the management of data and files as well as automatically configuring the verification environment 102 based on the design. When different chip versions or releases need to be verified, the mechanism of the disclosed embodiments may also automatically handle, after some initial setup, these situations.
After receiving input from the user, flow chart 200 continues to element 204, creating a testbench. In one embodiment, the verifier or other user may perform element 204 by manually creating a VHDL testbench. While the use of VHDL is described in the embodiment of
If a generic design is to be tested, the testbench may be considered complete, but additional configuration may be necessary for chip-specific designs. At decision block 210, the testbench configuration module 122 may determine whether a chip-specific version of a design is needed that requires different ports or different numbers of ports. In one embodiment, chip-specific versions may only have the same number of ports or less ports as the generic logic is a superset of port configurations. If the ports differ and a chip-specific design is needed, flow chart 200 continues to element 212, and if one is not needed, flow chart 200 continues to element 216.
At elements 212 and 214, the testbench configuration module 122 may configure the testbench to account for the chip-specific design. Chip-specific designs account for variations in chip designs, as each chip may require a different size, shape, speed, and FIFO depth due to its intended function and use. The shape of a design may be described by different layers of hierarchy used to logically and physically divide up the bits on the bus to best suit the use in the end chip product. Accordingly, a chip-specific version of a design may have different ports or a different number of ports than the generic design logic. Because the ports may be different, the verifier may create special VHDL components based on the chip-specific version of the design at element 212 and instantiate any special VHDL components in the testbench at element 214. The special VHDL components may be advantageously tied or wired to the same testbench signals as the main generic VHDL component so that the verification environment 102 has a common point to tie into regardless of whether generic or specific designs are utilized.
Elements 206, 208, 210, 212, and 214 may be repeated to create many different VHDL configurations in which the design may run. In one embodiment, all of the different VHDL configurations may be created. These configurations may specify the values of the VHDL Generics as well as the wiring of the actual design to the component in the event that the port names differ. In one embodiment, only a single VHDL component may be bound to an entity to prevent signal resolution problems.
After a testbench has been created and populated, flow chart 200 continues to element 216. At element 216, the verification component manager 124 may use a single base configuration (e.g., a Specman configuration) to observe the values of the VHDL generics in the testbench and may, at element 218, configure a verification component (such as a Specman eVC) of the verification environment 102 to match the design being verified. The verification component manager 124 may work in conjunction with the configuration module 108 of the verification environment 102 to perform its tasks, such as by relaying the observed values and/or the configuration to the configuration module 108 for completion of the verification component configuration. Using a single base configuration removes the burden from the verifier of having to maintain multiple files specifying different configures. A single base configuration also may allow a verifier to avoid maintaining and running a script to automatically create configurations based on the logic being verified. In previous systems, a configuration would need to be created to match each parameter used in a particular testbench. To functionally simulate a design, the verifier would have to match up the VHDL testbenches with the verification environment 102 configurations and load these into each testcase run. This resulted in significant redundancy with the specification of wiring connections in each testbench as well as redundancy in creating a replica of this configuration in the verification environment 102. Moreover, the verifier would need to pair these two separate configurations each time a testcase needed to be run, resulting in even more resource usage. The method of the disclosed embodiments allows for the verification environment 102 and its verification component to be adapted automatically to a particular chip-specific design without having to duplicate the VHDL configuration each time.
The method of the disclosed embodiments may also provide benefits when dealing with different releases of a design, as described in more detail in relation to
After the verification environment 102 has been configured, flow chart 200 may continue to element 220, performing the verification of the design, after which the flow chart terminates. This element may be performed by the verification environment 102 in one embodiment. In this embodiment, the verification environment 102 may generate sequences (by the RX sequence driver 112) that represent high-level representations of stimulus of the DUT 104 that are then sent to the RX agent 110 for transmission to the DUT 104. The bus agent 110 and its components may stimulate and monitor the DUT 104 to perform the functional simulation and verification of the design of the DUT 104.
Flow chart 300 begins with element 302, receiving user setup information, including an indication of the release of the design to be verified. User setup information may include any user preferences regarding the configuration of the verification environment 102, including the location of existing files, the location of compiled files, and whether the user wishes for a simulation to execute. The indication of the release of the design to be verified may be a release name or other identifier or the base directory where the VHDL and supporting files are stored. In one embodiment, the user setup information may first be received by the user interface 120 at element 202 of
If a script is used to input user setup information, the user may use options to specify the user setup information at script initiation. Example options a user may add to a script initiation command may include a release directory flag, a project name flag, a compile flag, an elaboration flag, clean flags, or a launch flag. The release directory flag (which may be called using a ‘-r’ followed by a directory name) may allow a user to specify, for example, a release directory containing the VHDL code of the top-level I/O bus configurations for a specific chip. A user may utilize the release directory flag to specify the release to be verified by using the appropriate directory. The directory may contain a file, which may be known as a ‘Releasefile’, which lists all of the libraries necessary to compile the particular release, as well as the release number of each library. If the user does not utilize a release directory flag, the generic design VHDL may be used for verification. The project name flag (‘-n’ followed by a project name in one embodiment) may allow a user to manually specify the project-name of the top-level files to be compiled. The project name may be used as a suffix for the compiled library directory as well as a prefix for the logical library name. If no name is specified, a project name may be derived from the release directory name.
The Makefile, which may be manually created, may specify the generic VHDL and all of its dependencies on other base libraries as a target. Any chip-specific versions of the designs to be simulated may also be specified as targets in the Makefile. The specification of the dependent libraries in the Makefile may then be shared among all of the chip-specific targets and the generic target in the Makefile. A verifier may set up the Makefile manually or the script may alternatively automatically add new targets to the Makefile in response to new release directory tags.
Users may also specify other flags as part of a script initiation. The compile flag (‘-c’ in one embodiment) may allow a user to compile the design top-level VHDL files and supporting files, including libraries. The elaboration flag (‘e’ in one embodiment) may allow a user to elaborate specific top-level VHDL files and supporting files, including libraries. The clean flags (‘-t’ and ‘-a’ in some embodiments) may allow a user to clean compiled libraries, such as VHDL libraries, pointed to by the project name tag. The compile, elaboration, and clean flags may be used for both specific releases as well as the generic VHDL. A user may specify a launch flag (‘-x’ in one embodiment) to launch a new window or program with the newly created environment setup. The described tags are only examples and one skilled in the art will recognize that other or different tags may also be used.
After receiving user setup information, the method of flow chart 300 continues to element 304, accessing files associated with the selected design. The selected design may be, for example, the design associated with the release specified by the user. Depending on the user setup information, the files associated with the selected design may be located in one or more directories. For example, generic design libraries as well as release-specific libraries may be specified, each in different directories. In one embodiment, all of the associated files are copied to one directory (which may be a temporary directory) if they are spread across two or more directories for ease of compilation. All of the top-level VHDL files, for example, along with all supporting VHDL files may be copied to a temporary directory. Next, the files associated with the selected design may be compiled for execution at element 306. A verification program such as NC-Sim from Cadence Design Systems of San Jose, Calif. may compile and/or elaborate the design for testing.
After code has been compiled, it may be saved to a separate compiled library location at element 308. Both generic and each chip-specific versions of the code may be stored and maintained in the compiled library, allowing verifiers to have access to compiled code for multiple configurations simultaneously. Previous systems did not allow verifiers to easily access multiple configurations, necessitating labor-intensive moving of files or recompiling code whenever designs for verification changed. At optional element 310, the design may then be simulated using the compiled executable code for the design, after which the method terminates.
The Makefile and the method of flow chart 300 advantageously allow environment variables to be set up by the front-end script (as described in relation to elements 304 through 308) and for compiling releases of the design using any version of dependent libraries. The Makefile and method also provide for storage of the compiled releases into unique physical library locations, allowing the verifier to simultaneously work on multiple configurations.
The method of flow chart 400 begins at element 402, where the verifier may create the base checker unit types based on the hierarchy layers in a design. In one embodiment, for example, the verifier may generate base checker unit types for the ‘group’, ‘pack’, ‘cust’, and ‘bit’ level. After creating the base checker unit types, the verifier may next create ‘structs’ based on the hierarchy layers of the design at element 404. The ‘structs’ may represent the different hierarchy layers present in the actual design and can store the number of physical instances of base checker unit types at each hierarchy layer. Each ‘struct’ may thus store the quantity of checkers at each level of the hierarchy. The number of physical instances may be represented by an integer stored in a field of the ‘struct’. For example, a ‘struct’ may contain an indication that there are two ‘groups’, that each group has two ‘packs’, that each ‘pack’ has four ‘bits’ and that there is no ‘cust’ level. This example may result in two ‘group’ checker units, four ‘pack’ checker units, and sixteen ‘bit’ checker units.
An example of Specman code to create a series of structs representing the layers in the hierarchy of a design is described below. While Specman code is included for explanatory purposes, one skilled in the art will recognize that any type of code may be used. First, a top-level struct mirroring the top-level piece of hierarchy in the design (‘group’ from the previous example) may contain a list of another struct representing the next lower level of hierarchy, the size of which may be later determined by observing VHDL generics at element 406. This procedure may continue until all of the levels of hierarchy are exhausted and a struct is created for the lowest level of hierarchy. Example top level code (based on Specman code) may include:
In this example, ‘uint’ represents an unsigned integer and there are a ‘uint’ number of mid-level structs (the number determined at element 406) and an instance of each struct may be included in the list (e.g., hier_mid—1, etc. up to hier_mid_N where N equal ‘num_hier_mid’). Similarly, any mid-level structs (e.g., ‘pack’, ‘cust’, etc.) are created next, and example mid-level code may include:
An example bottom-level struct (e.g., ‘bit’) may include:
As the bottom-level struct is the final level of hierarchy, additional layers of structs or hierarchy need not be specified. After creating the structs for a top-level struct, a list of instances of the top-level struct may be created, as shown by the following code:
After creating a series of structs, the verification component manager 124 may observe the values of the VHDL Generics and derive the shape of the design at element 406. Elements 406 may correspond to element 216 of
After storing an indication of the shape of the design in the structs, the method of flow chart 400 continues to element 410, instantiating a list of checker units based on the values in the structs. The size of the list may be determined by probing into the top-level list of the struct and pulling out the correct number for that level of hierarchy. For example, if the struct indicates that there are eight bits in a struct, a total of eight bit checker units may be instantiated and placed in the list in the struct. The checker units may instantiate lists of each other, such as by higher-level checker units creating lower-level checker units. An example of code written in Specman to instantiate the checkers may include:
The list of ‘hier_top_monitor_X’ variables represents a list of each top level checker (or monitor) in a verification environment. The value of ‘agent.num_hier_top’ may be set by observing the values of the VHDL Generics as the number of top level checkers. For each top level checker unit, a unique identifier (the ‘index’ variable) may be used. The top level list may also acquire from the structs the number of mid-level checkers that the method is trying to insert, resulting in the number being pulled out of the struct and being put into another variable (top_mon.num.hier_mid) inside the checker. Similarly, the lower level checkers may also be instantiated.
Once the checker units are instantiated, the verification component manager 124 may at element 412 extend the base checker types to specify a path (such as an hdl_path in Specman) based on the values stored in the structs to match the hierarchy names of the VHDL. The path may be the path of the HDL logic that represents where the checker is located within the logic. This will connect the checker unit to the correct hierarchy in the DUT 104. If Specman is used, element 412 may be accomplished by setting the correct hierarchy name for the current level in question in the Specman configuration file, taking advantage of Specman's feature of each instance inheriting the path from its parent. An example in Specman code may include:
In the above example, the new path (hd1_path) of all of the hier_mid_monitors would be “top<num>.top<num>_inst.mid<num>.mid_inst”. Each <num>may match up with the index in the instantiation loops discussed previously and are unique for each checker. The methodology of element 412 may provide an advantage with configurable designs that use generate loops in VHDL based off of VHDL generics to instantiate variable numbers of objects in the design, as these generate loops may insert a number into the hierarchy name. The verifier need not worry about how many top-levels are instantiated, for example, or how many bit-levels are instantiated, in another example, as the Specman environment may handle this automatically using the method of the disclosed embodiments.
At alternative element 414, the verification component manager 124 may map the HDL path from element 412 to a chip-specific version of the design, after which flow chart 400 terminates. The methodology of element 414 may allow for use with chip-specific versions that differ significantly in their hierarchies from the base generic design. One methodology to accomplish this utilizes implication constraints based on ‘kind’ fields in Specman to perform the mapping. The ‘kind’ fields may be based on the VHDL Generic values in the logic. An example of code (based on Specman code for illustrative purposes) to accomplish this by may include:
In this example, the method declares a ‘kind’ field called ‘env_config’ that is declared in the ‘hier_top_monitor_u’. The ‘kind’ field may be constrained based on an implication from a VHDL generic value called ‘gENV_CONFIG’ that the verifier may set up in the VHDL testbench. The ‘kind’ field may be used to differentiate extensions of ‘hier_top_monitor_u’ in order to specify different paths (hdl_paths), allowing the verification component manager 124 to automatically adapt to chip-specific designs with significantly different hierarchies than generic designs.
Each software program described herein may be operated on any type of computer, such as personal computer, server, etc. Any programs may be contained on a variety of signal-bearing media. Illustrative signal-bearing media include, but are not limited to: (i) information permanently stored on non-writable storage media (e.g., read-only memory devices within a computer such as CD-ROM disks readable by a CD-ROM drive); (ii) alterable information stored on writable storage media (e.g., floppy disks within a diskette drive or hard-disk drive); and (iii) information conveyed to a computer by a communications medium, such as through a computer or telephone network, including wireless communications. The latter embodiment specifically includes information downloaded from the Internet, intranet or other networks. Such signal-bearing media, when carrying computer-readable instructions that direct the functions of the present invention, represent embodiments of the present invention.
In general, the routines executed to implement the embodiments of the invention, may be part of an operating system or a specific application, component, program, module, object, or sequence of instructions. The computer program of the present invention typically is comprised of a multitude of instructions that will be translated by the native computer into a machine-readable format and hence executable instructions. Also, programs are comprised of variables and data structures that either reside locally to the program or are found in memory or on storage devices. In addition, various programs described hereinafter may be identified based upon the application for which they are implemented in a specific embodiment of the invention. However, it should be appreciated that any particular program nomenclature that follows is used merely for convenience, and thus the invention should not be limited to use solely in any specific application identified and/or implied by such nomenclature.
It will be apparent to those skilled in the art having the benefit of this disclosure that the present invention contemplates a methods, systems, and media for managing functional verification of a parameterizable design. It is understood that the form of the invention shown and described in the detailed description and the drawings are to be taken merely as examples. It is intended that the following claims be interpreted broadly to embrace all the variations of the example embodiments disclosed.
Number | Name | Date | Kind |
---|---|---|---|
6182258 | Hollander | Jan 2001 | B1 |
6490711 | Buckley, Jr. | Dec 2002 | B2 |
6530054 | Hollander | Mar 2003 | B2 |
6581191 | Schubert et al. | Jun 2003 | B1 |
6591403 | Bass et al. | Jul 2003 | B1 |
7165231 | Buckley, Jr. | Jan 2007 | B2 |
Number | Date | Country | |
---|---|---|---|
20060190871 A1 | Aug 2006 | US |