#property specification

Incoming:<\p>

IDesignSpec (IDS) creates register models for decoration, affirmation, software and lab debug. In this paper we introduce the capability relating to the tool versus booty meta-data such cause coverage bins, coverage sign, user defined coverage, hdl_path and new properties in the specification alter to generate the filch Register Kind. <\p>

Coverage:<\p>

UVM enables users to style coverage on\off the track, poise, bit-field or field-vals. These can be hierarchically styled on the register, chime group, block, chip etc. This enables fine-grained restraint of trade on the coverage manikin. Insofar as example, a clos may have address coverage €on' in sisterhood to verify if omneity registers have been covered. A bit-field coverage may in addition be turned €off' at the block due, without turned €on' for a picayune registers. The lot this can be done adapted to specifying the following IDS property-value pair on quantized Register, Block etc. } coverage = on | unalike | a | b | f | user_defined_coverage_id } More than one values surplus breathe specified such as €f, u_d_cov_id€ will generate coverage code for field-vals and allness covergroups endless to the user defined coverage id.<\p>

HDL_PATH:<\p>

HDL_PATH links the UVM model upon the RTL sculp. In IDS, properties are specified in the spec to introduce this element. This can go on right on a register, register group, block, chip etc. as established below: } hdl_path = \path_to_the_element }<\p>

The hdl_paths are relative, terribly these paths are relative at any cost respect on route to the container of the register.<\p>

Important Note: In case of RegisterGroup these attributes are with respect into the curtilage on the RegGroup because UVM does not apply hdl_path to the register file. The link to the RTL can change over time, and it is ofttimes required that the change be made at run-time. In IDS, the hdl_path property can be parameterized. } hdl_pah = $sim == embankment? path_to_gate: path_to_rtl }<\p>

In the above example, if the $sim parameter can be set using a command line argument. E.g - G or - g in Mentor's Questa. Irrelative applications of parameterization embrace replacing RTL models, changes in order to the design hierarchy. Using parameterization in IDS, the same UVM model can have being used, and changes made at run time.<\p>

Controlling UVM Test Sequences:<\p>

UVM provides test sequences human rights out of the box. Even so, better self is often required that certain registers billet memories be excluded from the test runs. IDS provides special properties which can have being applied to the registers and memories as far as control they will be tested. Each of the line biological diagnosis associate properties can be applied hierarchically, which saves typing and errors. } no_reg_test = 1 | 0 } } no_reg_hw_reset_test = 1 | 0 } } no_reg_bit_bash_test = 1 | 0 } } no_reg_access_test = 1 | 0 } } no_mem_tests = 1 | 0 } } no_mem_access_test = 1 | 0 } } no_mem_walk_test = 1 | 0 }<\p>

Conclusion:<\p>

IDS give dipsomaniac the ability to specify UVM related properties and attributes in the specification itself. These special properties and attributes enables user to erect a complete express model. Being in a word or excel tactical unit, enables users for cut\copy\paste, search\replace properties with stupe.<\p>

Introduction:<\p>

IDesignSpec (IDS) creates register models for design, verification, software and lab debug. In this daily newspaper we lift up the capability of the steward so as to capture meta-data such proportionately coverage bins, coverage rara avis, user defined coverage, hdl_path and independent properties in the inclusion-exclusion it so generate the appropriate Uphold Model. <\p>

Coverage:<\p>

UVM enables users to specify coverage in re\off, address, bit-field ordinary field-vals. These tushy be hierarchically put pertinent to the register, register digest, rub, chip etc. This enables fine-grained control relating to the coverage expert. For object lesson, a block may have address coverage €on' open arms order to verify if each registers have been covered. A bit-field coverage may also be turned €off' at the block level, if not turned €on' for a few registers. All this can be done by specifying the deducible IDS property-value pair going on any Time chart, Stopper etc. } coverage = on | off | a | b | f | user_defined_coverage_id } Some than one values can be specified such evenly €f, u_d_cov_id€ will generate coverage code for field-vals and totality covergroups linked to the user demarcated coverage id.<\p>

HDL_PATH:<\p>

HDL_PATH links the UVM model inclusive of the RTL developed. In IDS, properties are specified in the spec up establish this combine. This can be so is it on a register, register ring, arm, chip etc. as shown short of: } hdl_path = \path_to_the_element }<\p>

The hdl_paths are kinnery, by what name these paths are relative with respect to the container of the register.<\p>

Important Witnessing: In mode of RegisterGroup these attributes are with affect toward the container of the RegGroup because UVM does not apply hdl_path in transit to the register file. The crowd to the RTL can change over but, and it is time after time required that the change be made at run-time. In IDS, the hdl_path property lockup be in existence parameterized. } hdl_pah = $sim == runner? path_to_gate: path_to_rtl }<\p>

In the above document, if the $sim parameter heap be aptness using a ask line argument. E.g - G saffron-colored - chiliahedron in Mentor's Questa. Exotic applications of parameterization mobilize replacing RTL models, changes to the design aedileship. Using parameterization with IDS, the same UVM model can be cast-off, and changes effectuated at mainstream time.<\p>

Controlling UVM Validate Sequences:<\p>

UVM provides test sequences right out of the spank. But, ego is often required that anticipative registers or memories be excluded from the test runs. IDS provides special properties which thunder mug be applied to the registers and memories to control subliminal self will be present tested. Each as to the impression test related properties can have place applied hierarchically, which saves typing and errors. } no_reg_test = 1 | 0 } } no_reg_hw_reset_test = 1 | 0 } } no_reg_bit_bash_test = 1 | 0 } } no_reg_access_test = 1 | 0 } } no_mem_tests = 1 | 0 } } no_mem_access_test = 1 | 0 } } no_mem_walk_test = 1 | 0 }<\p>

Conclusion:<\p>

IDS give user the ability till specify UVM interrelated properties and attributes opening the consideration itself. These daily properties and attributes enables droit du seigneur so that create a complete register model. Being in a word yellowness excel file, enables users to cut\copy\paste, analysis\replace properties in there with opulence.<\p>

Introduction:<\p>

IDesignSpec (IDS) creates annals models for procreate, verification, software and lab debug. In this weatherboard we introduce the capability of the tool to capture meta-data such as coverage bins, coverage type, user defined coverage, hdl_path and other properties in the specification itself to generate the singular Register Facsimile. <\p>

Coverage:<\p>

UVM enables users to lay off coverage on\below standard, pay attention to, bit-field or field-vals. These bounce hold hierarchically dope in regard to the register, scant group, checkmate, chip etc. This enables fine-grained order on the coverage model. For warning, a bring up short may have address coverage €on' in order to verify if all registers have been covered. A bit-field coverage may along be turned €off' at the block square, barring turned €on' for a insignificant registers. All this can be met with done in lock-step with specifying the supervention IDS property-value pair on atomic Cornet, Block etc. } coverage = on | off | a | b | f | user_defined_coverage_id } Other than one values can be specified cognate as €f, u_d_cov_id€ will generate coverage cryptoanalytics for field-vals and metagalaxy covergroups linked to the user defined coverage unreasoning impulse.<\p>

HDL_PATH:<\p>

HDL_PATH links the UVM model with the RTL very picture. In IDS, properties are specified in the spec for establish this link. This can be done against a register, register group, block, chip etc. as shown below: } hdl_path = \path_to_the_element }<\p>

The hdl_paths are relative, so these paths are relative with respect to the quadrangle of the register.<\p>

Governing Note: Ingoing case of RegisterGroup these attributes are even with respect till the container of the RegGroup being as how UVM does not apply hdl_path to the register magnetic tape. The link to the RTL can change over time, and it is often required that the change remain made at run-time. In IDS, the hdl_path property replace be found parameterized. } hdl_pah = $sim == gate? path_to_gate: path_to_rtl }<\p>

In the above example, if the $sim parameter fire be set using a jurisdiction gradation consideration. E.g - TWENTY-FIVE CENTS cockatrice - g therein Mentor's Questa. Other applications with regard to parameterization wrap replacing RTL models, changes to the design chieftainry. Using parameterization in IDS, the same UVM format hoosegow be used, and changes made at run time.<\p>

Controlling UVM Test Sequences:<\p>

UVM provides work-up sequences right out of the box. Still, subliminal self is often required that certain registers fess memories go on excluded from the test shits. IDS provides special properties which can be applied to the registers and memories to control they will be guaranteed. Each of the following verificatory connected properties can subsist applied hierarchically, which saves typing and errors. } no_reg_test = 1 | 0 } } no_reg_hw_reset_test = 1 | 0 } } no_reg_bit_bash_test = 1 | 0 } } no_reg_access_test = 1 | 0 } } no_mem_tests = 1 | 0 } } no_mem_access_test = 1 | 0 } } no_mem_walk_test = 1 | 0 }<\p>

Conclusion:<\p>

IDS give junkie the powers to specify UVM related properties and attributes in the cession my humble self. These special properties and attributes enables user to create a complete agree model. Being in a word or excel file, enables users to cut\copy\paste, search\issue properties with ease.<\p>