Quantcast
Channel: Cadence Functional Verification
Viewing all articles
Browse latest Browse all 652

Covering Edges (part II)—“Inverse Normal” Distribution

$
0
0

In the previous example, we used the "select edge" to generate edge values for fields. But in many cases, what you really want to generate is not the exact edge, but "near the edges". For example, for a field of type uint (bits : 24), generate many items whose values are 0..4, and many of 0xfffff0..0xffffff. To achieve this, you can call this "the inverse normal distribution" and give more weight to the edges.

Selecting"inverse normal" can be done by selecting normal distribution, around the edges:

extend transfer {

    keep soft address == select {

        10 : normal(2, 4);

        10 : normal(0xFFFFFD, 4);

        90 : others;

    };

};

 

 

Efrat Shneydor 


Viewing all articles
Browse latest Browse all 652

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>