• Skip to main content
  • Skip to search
  • Skip to footer
Cadence Home
  • This search text may be transcribed, used, stored, or accessed by our third-party service providers per our Cookie Policy and Privacy Policy.

  1. Blogs
  2. Verification
  3. Covering Edges (part II)—“Inverse Normal” Distribution
teamspecman
teamspecman

Community Member

Blog Activity
Options
  • Subscribe by email
  • More
  • Cancel
AF
e language
Funcional Verification
functional coverage
coverage driven verification (CDV)
Aspect Oriented Programming

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

29 Jan 2014 • Less than one minute read

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 

© 2025 Cadence Design Systems, Inc. All Rights Reserved.

  • Terms of Use
  • Privacy
  • Cookie Policy
  • US Trademarks
  • Do Not Sell or Share My Personal Information