OSVVM Release Guide

for 2014.07

By

Jim Lewis

SynthWorks VHDL Training

[email protected]

http://www.SynthWorks.com

Copyright © 2012-2014 by SynthWorks Design Inc. Verbatim copies of this document 1

may be used and distributed without restriction. All other rights reserved.
Table of Contents
1 Revision 2014.07 July 2014 ...................................................................................... 2
2 Revision 2014.01 January 2014................................................................................. 2
3 Revision 2013.05 May 2013 ..................................................................................... 3
4 Revision 2013.04 April 2013..................................................................................... 3
5 Revision 2.4 January 2012 ....................................................................................... 5
6 Revision 2.3 January 2012 ....................................................................................... 6
7 Revision 2.2 July 2011............................................................................................. 6
8 Revision 2.1 June 2011............................................................................................ 6
9 Revision 2.0 April 2011............................................................................................ 6
10 Revision 1.X June 2010 ........................................................................................... 7

1 Revision 2014.07 July 2014

1.1 RandomPkg
No changes were made to RandomPkg. It is still labeled 2014.01.

1.2 CoveragePkg
Added names to bins. When using WriteBin or WriteCovHoles, if a bin name is set, it
will print. For details, see Setting Bin Names in the Reporting Coverage section of the
CoveragePkg Users Guide.

Enhanced WriteBin to print "PASSED" if the count is greater than or equal to the goal
(AtLeast value), otherwise, it prints "FAILED". Added a number of parameters to
WriteBin to control what fields of a WriteBin report get printed. See Enabling and
Disabling WriteBin fields in the Reporting Coverage section of the CoveragePkg Users
Guide.

2 Revision 2014.01 January 2014

2.1 RandomPkg
Added randomization for time (RandTime), additional overloading for type real
(RandReal), and sets of values for types (integer_vector, real_vector, and time_vector.
Made Sort and RevSort from SortListPkg_int visible using aliases.

2.2 CoveragePkg
Revised ReadCovDb to support merging of coverage models (from different test runs).

Copyright © 2012-2014 by SynthWorks Design Inc. Verbatim copies of this document 2

may be used and distributed without restriction. All other rights reserved.
Revised RandCovPoint and RandCovBinVal to log the bin index in the LastIndex
variable. Revised ICover to look in bin referenced by LastIndex first. Added method
GetLastIndex to get the variable value. Added GetLastBinVal to get the BinVal of
LastIndex.

Revised AddBins and AddCross bin merging to allow arbitrary CountBin overlap. With
the addition of LastIndex, the overlap is not an issue.

Split SetName into SetMessage (headers) and SetName (printing illegal bins)

Added method GetItemCount to return the count of the number of randomizations and
method GetTotalCovGoal to return the sum of the individual coverage goals in the
coverage model.

3 Revision 2013.05 May 2013

3.1 RandomPkg
Added big vector randomization.

3.2 CoveragePkg
No substantial changes. Removed extra variable declaration in functions GetHoleBinval,
RandCovBinVal, RandCovHole, GetHoleBinVal. Now referencing NULL_RANGE type from
RandomPkg to remove NULL range warnings.

4 Revision 2013.04 April 2013

4.1 RandomPkg
Changed DistInt return value. The return value is now determined by the range of the
input array. For literal values, this produces the same value as it did previously. Also
added better error checking for weight values.

Added better min, max error handling in Uniform, FavorBig, FavorSmall, Normal,
Poisson.

4.2 CoveragePkg
Revised AddBins and AddCross such that bin merging is off by default. Added
SetMerging to enable/disable merging. Note: Merging is an experimental feature and
still evolving.

Revised AddBins and AddCross to check for changes in BinVal size (different size bin).

Copyright © 2012-2014 by SynthWorks Design Inc. Verbatim copies of this document 3

may be used and distributed without restriction. All other rights reserved.
Added RandCovPoint for integer.

Added SetThresholding and SetCovThreshold (Percent) to enable/disable(default)

thresholding. Revised RandCovPoint and RandCovBinVal to use the new mechanism.

Added SetCovTarget to increase/decrease coverage goals for longer/shorter simulation

runs. Made CovTarget the default percentage goal (via overloading) for methods
RandCovPoint, RandCovBinVal, IsCovered, CountCovHoles, GetHoleBinVal, and
WriteCovHoles.

Revised SetIllegalMode and ICover to support ILLEGAL_FAILURE (severity FAILURE on

illegal bin).

Added manual bin iteration support. Added the following methods that return a bin
index value: GetNumBins, GetMinIndex, and GetMaxIndex. Added the following
methods that return bin values: GetBinVal(BinIndex), GetMinBinVal, and GetMaxBinVal.
Added the following methods that return point values: GetPoint(BinIndex), GetMinPoint,
and GetMaxPoint.

Added GetCov to return the current percent done of the entire coverage model.

Added FileOpenWriteBin and FileCloseWriteBin to specify default file for WriteBin,

WriteCovHoles, and DumpBin.

Added CompareBins to facilitate comparing two coverage models. Added CompareBins

to facilitate comparing two coverage models.

Revised WriteBin, WriteCovHoles, and WriteCovDb to check for uninitialized model.

Revised WriteBins and WriteCovHoles to only print weight if the selected WeightMode
uses the weight.

Added IsInitialized to check if a coverage model is initialized.

Added GetBinInfo and GetBinValLength to get bin information

Changed WriteCovDb default for File_Open_Kind to WRITE_MODE. Generally only one

WriteCovDb is needed per coverage model.

Revised WriteCovDb and ReadCovDb for new internal control/state variables, in the
order of ThresholdingEnable, CovTarget, and MergingEnable. To manually edit old file,
add FALSE, 100.0, FALSE to end of first line.

Copyright © 2012-2014 by SynthWorks Design Inc. Verbatim copies of this document 4

may be used and distributed without restriction. All other rights reserved.
Removed IgnoreBin with AtLeast and Weight parameters. These are zero for ignore
bins.

Revised method naming for consistency. The following have changed:

New Name Old Name Why

GetErrorCount CovBinErrCnt Consistency between packages
GetMinCount GetMinCov[return integer] Naming clarity
GetMaxCount GetMaxCov[return integer] Naming clarity
SetName SetItemName SetName now does multi-line
messages
RandCovBinVal RandCovHole Naming consistency (2.4)
GetHoleBinVal GetCovHole Naming consistency (2.4)

Deprecated usage of the AtLeast parameter (integer) with the following methods:
RandCovPoint, RandCovBinVal, IsCovered, CountCovHoles, GetHoleBinVal, and
WriteCovHoles.

5 Revision 2.4 January 2012

5.1 RandomPkg
No changes

5.2 CoveragePkg
Added bin merging and deletion for overlapping bins.

Working on consistency of naming. Renamed RandCovHole to RandCovBinVal.

Renamed GetCovHole to GetCovBinVal. Old names maintained for backward
compatibility.

New Name Old Name Why

RandCovBinVal RandCovHole Naming consistency
GetCovBinVal GetCovHole Naming consistency

Copyright © 2012-2014 by SynthWorks Design Inc. Verbatim copies of this document 5

may be used and distributed without restriction. All other rights reserved.
6 Revision 2.3 January 2012

6.1 RandomPkg
No changes

6.2 CoveragePkg
Revision 2.3 adds the function GetBin. GetBin is an accessor function that returns a bin
in the form of a record. It is only intended for debugging. In particular, the return
value of this function may change as the internal data types evolve.

7 Revision 2.2 July 2011

7.1 RandomPkg
Removed '_' in the name of subprograms FavorBig and FavorSmall to make more
consistent with other subprogram names.

7.2 CoveragePkg
Revision 2.2 adds AtLeast and Weights to the coverage database. The AtLeast value
allows individual bins to have a specific coverage goal. A conjunction of the AtLeast
and Weight (depending on the WeightMode) are used to weight the random selection
of coverage holes. These features are at the heart of intelligent coverage.

8 Revision 2.1 June 2011

8.1 RandomPkg
Bug fix to convenience functions for slv, unsigned, and signed.

8.2 CoveragePkg
Removed signal based coverage support.

9 Revision 2.0 April 2011

9.1 CoveragePkg
Coverage modeled in a protected type.

Copyright © 2012-2014 by SynthWorks Design Inc. Verbatim copies of this document 6

may be used and distributed without restriction. All other rights reserved.
10 Revision 1.X June 2010

10.1 CoveragePkg
Coverage modeled in signals of type integer_vector. The signal based coverage
methodology is available in the package, CoverageSigPkg, however, it is recommended
that you use CoveragePkg instead.

Copyright © 2012-2014 by SynthWorks Design Inc. Verbatim copies of this document 7

may be used and distributed without restriction. All other rights reserved.