Home Articles Verification Do not rely on illegal_bins
Main Menu
Home
System Verilog
Verilog
Methodologies
Open Vera
Digital Concepts
Verification Basics
Protocols
Scripting
Articles
    - Design
    - Verification
        -- Pass Fail Messages in TestBench with Color !
        -- Do not rely on illegal_bins
        -- Coverage Model in SystemVerilog TestBench
        -- Sr Design Engineer
        -- north face soft shell jackets,womens north face jackets
        -- Cheap Louboutin Pumps
        -- quinceanera dresses,quinceanera gowns,best quinceanera dress
        -- Christian louboutin Pumps NIB Black CL02067 [CL02067] - $139.00
        -- Tiffany Outlet Necklaces Two Tone Feather Link [2023] - $59.00 :
        -- belstaff jackets
        -- Mens Nike Air Max 95 Shoes Red Grey [nike276] - $66.99 :
        -- All Products : LV sale,cheap LV handbags,Louis Vuitton online,Replica Louis Vuitton Handbags,Louis V
        -- All Products :
        -- Links Of London Bookworm Charm [1075] - $31.93 :
        -- cheap Pandora Earrings
        -- Armani Fashion Watches :
        -- Tory Burch patent leather fastener flat brown [20110333] - $179.98
        -- discount tiffany jewelry
        -- rolex daytona online
        -- Monster Beats By Dre Graffiti Limited Edition Headphones Red [monster043] - $179.90 :
        -- Christian Louboutin Nitoinimoi Bandage Ankle Boots CL01051 [CL01051] - $167.00 :
        -- discount Swarovski Beads
        -- Detroit Pistons jerseys,NBA ALL STAR jerseys,buy Detroit Pistons jerseys,wholesale Detroit Pistons j
        -- ARTIX :
        -- Pandora sets 121 [pandora1235] - $68.62 :
        -- tiffany necklaces,tiffany necklaces online,tiffany necklaces sale,cheap tiffany necklaces,discount t
        -- Replica Jaquet Droz Complication La Chaux-de-Fonds - Chrono Monopoussoir J007634201 watch [J00763420
        -- Tiffany Necklaces Jewelry Silver Lozenges Chaining Necklace [TiffanyNecklaces_654] - $45.03 :
        -- tiffany jewelry online
        -- A-line Wedding Dresses, A-line bridal gowns, A-line wedding gowns, cheap A-line Wedding Dresses, A-l
        -- Replica Ebel Brasilia watches,fake Ebel Brasilia watches,cheap Ebel Brasilia watches,Ebel Brasilia w
        -- Christian Louboutin Discount
        -- purchase designer handbags
        -- Replica NEW GUCCI 112 THE TWIRL WOMEN YA112422 WATCH [YA112422] - $210.00 :
        -- Womens Nike Air Max 90 Shoes White Red Blue Green Yellow [nike1406] - $65.99 :
        -- Gucci Rings,cheap Gucci Rings,buy Gucci Rings,discount Gucci Rings,Gucci Rings online,Gucci Rings ou
        -- Shipping & Returns : Moonwigs.com, cheap wigs,discount wig,lace wigs wholesale
        -- buy A. Lange & Sohne Watches
        -- NFL Jerseys,cheap NFL Jerseys,Cheap NFL Jersey,Throwback NFL Jerseys,authentic NFL jerseys,football
        -- Christian Louboutin Josefa 120 Platform Sandals - $149.99 : Christian Louboutin Online, Christian Lo
        -- new dresses
        -- Swarovski Charms,Swarovski Charms sale,Swarovski Charms online,Swarovski Charms outlet,wholesale Swa
        -- Alexander McQueen Sandals
        -- Tiffany Sterling Silver Gatelink Rings [4063] - $79.00 :
        -- Tiffany Bangles Open Small In Silver - $53.56 : tiffanycompany.org, Tiffay Outlet,Tiffany On Sale,Ti
        -- Replica 101G ROUND MENS Watch YA101340 [YA101340] - $183.00 :
        -- Tiffany Jewelry Bangles Silver Sting Inlaid Silver Bead [TiffanyBracelets_283] - $46.12 :
        -- Tiffany Charms Jewelry D Shaped Lock Silver Charm [TiffanyCharms980008] - $35.01 :
        -- designer handbags outlet
        -- Pure Silver Double-beads Bent Champagne Swarovski Bracelets [zi492198] - $69.98 :
        -- bob blond custom wigs - $216.00 : Moonwigs.com, cheap wigs,discount wig,lace wigs wholesale
        -- Youth AC Milan 10/11 Home Red Replica Soccer Jerseys and Shorts #16 FLAMINI [SoccerJerseys7867] - $2
        -- Moncler men cowskin high Casual shoes coffee [100026] - $239.99 :
        -- nike tailwind 2010
        -- Links Of London Friendship Bracelet Green Pink Double Wrap [1194] - $54.38 :
        -- Pandora 2 Double Charms Bracelet [pandora032] - $75.99 :
        -- Replica NEW LONGINES LUNGOMARE L3.132.4.58.6 LADIES MINI WATCH [L3.132.4.58.6] - $180.00 :
        -- Tiffany & Co Fish drop Set [tiffany1259] - £86.90 :
        -- JUICY COUTURE CHARM BRACELET JCM0154-GG [JCM0154-GG] - $38.96 :
        -- fake Tissot Sport watches
        -- UGG Classic Cardy
        -- Filmy cutter Roll forming machine - Hangzhou Roll Forming Machinery Co.,Ltd.
        -- Manolo Blahnik Suede & Snake Pumps [shoe18192] - $129.98
        -- Tiffany Love & Kisses Bangles TPP1010 [tiffany1501] - $51.76 :
        -- gucci replica handbags
        -- North Face Women's Shoes, North Face Shoes
        -- tiffany and co rings,Tiffany Silver Rings,tiffany rings,tiffany rings cheap,tiffany ring
        -- Tiffany Open Heart drop earrings - $42.93 : tiffanycompany.org, Tiffay Outlet,Tiffany On Sale,Tiffan
        -- Specials :
        -- NFL Women Jersey, women jerseys, authentic women football jerseys,wholesale NFL Women Jersey,cheap N
Videos
Interview Questions
Computer Architechture
C and C++
Blog/Article
AsicGuru Blog
Tags Cloud
Ads
Usefull Sites
Know Your IP/Location
Local Information India
Buy Car/Inverter Batteries
Real Estate India
Sports Accessories India
Do not rely on illegal_bins
Share This Articale:

Do not rely on illegal_bins



Do not rely on illegal_bins for checking purpose. If you rely on cover group where you have written illegal_bins, what happens when you turn off the coverage??

That is where Assertions coming in picture...! If you really want to ignore values then use ignore_bins. If you really want to throw errors then use an assertions checkers.

While illegal_bins removes values from coverage calculations, it also throws errors.
Philosophically, you need to ask yourself the questions,

(1) "Should a passive component like a cover group be actively throwing errors?" and
(2) "If you rely on the cover group for checking, then what happens when you turn coverage off?"


covergroup cg @ (posedge clk iff decode);

    coverpoint opcode {
      bins move_op[] = {3'b000, 3'b001};
      bins alu_op = {[3'b010:3'b011], [3'b101:3'b110]};
      bins jump_op = {3'b111};
      illegal_bins unused_op = {3'b100};
  }



From the example given above, you can see 3'b100 is an illegal op code and as per protocol if that value occurs then its an error. So here instead of writing and illegal_bins you can have a assert property with coverage to check specifically this scenario.

It is actually a debatable point because illegal bins will stops simulation if it hits, and from the last message or from debugging engineer can debug the reason for failure. The mail point is as it is not allowing the simulation forward, you can not check the functionality in error case. So to avoid this constraint we have assertions with cover property which allows us to go ahead with simulation with error indication.

So usually I would prefer to have an assertions (with cover property) where strong protocol check requires instead of writing illegal_bins.


Enjoy...!
-ASIC with Ankit

Keywords : Coverage   Funcational   SV   with  

This Articles is written/submitted by ankitgopani (Ankit Gopawani). You can also contribute to Asicguru.com. Click here to start


Prev << Pass Fail Messages in TestBench with Color !

Next >> Coverage Model in SystemVerilog TestBench

 
Login/Register
Register
Sign In
Login with :-
gmail-yahoo-twitter-facebook
| | |  
  •  
  • Bookmark
    ADS