Generating Cyclic-Random Sequences in a Constrained Space for In-System Validation
The constrained-random methodology is widely used during the pre-silicon verification of very-large scale integrated circuits. Recently, research efforts have been made to support the application of constrained-random patterns during the post-silicon validation stage. In this paper, we present a new...
Saved in:
Published in | IEEE transactions on computers Vol. 65; no. 12; pp. 3676 - 3686 |
---|---|
Main Authors | , |
Format | Journal Article |
Language | English |
Published |
New York
IEEE
01.12.2016
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | The constrained-random methodology is widely used during the pre-silicon verification of very-large scale integrated circuits. Recently, research efforts have been made to support the application of constrained-random patterns during the post-silicon validation stage. In this paper, we present a new method, including both software algorithms and on-chip hardware structures, for in-system constrained-random generation of stimuli sequences that are uniformly distributed. More specifically, we facilitate in-system application of constrained-random sequences that are cyclic-random, i.e., all the valid values from the user-constrained space are generated only once before the entire sample space is exhausted. While software simulation environments commonly support this feature, e.g., randc in SystemVerilog, to the best of our knowledge this is the first time it is shown how such feature can be ported to hardware environments. |
---|---|
AbstractList | The constrained-random methodology is widely used during the pre-silicon verification of very-large scale integrated circuits. Recently, research efforts have been made to support the application of constrained-random patterns during the post-silicon validation stage. In this paper, we present a new method, including both software algorithms and on-chip hardware structures, for in-system constrained-random generation of stimuli sequences that are uniformly distributed. More specifically, we facilitate in-system application of constrained-random sequences that are cyclic-random, i.e., all the valid values from the user-constrained space are generated only once before the entire sample space is exhausted. While software simulation environments commonly support this feature, e.g., randc in SystemVerilog, to the best of our knowledge this is the first time it is shown how such feature can be ported to hardware environments. |
Author | Xiaobing Shi Nicolici, Nicola |
Author_xml | – sequence: 1 surname: Xiaobing Shi fullname: Xiaobing Shi email: shix6@mcmaster.ca organization: Dept. of Electr. & Comput. Eng., McMaster Univ., Hamilton, ON, Canada – sequence: 2 givenname: Nicola surname: Nicolici fullname: Nicolici, Nicola email: nicola@ece.mcmaster.ca organization: Dept. of Electr. & Comput. Eng., McMaster Univ., Hamilton, ON, Canada |
BookMark | eNo9kEFrAjEUhEOxULU999BLoOfVl2SzuzmWpbWCUNCl1xCzb8uKJjZZD_77RpSeHgPfzDxmQkbOOyTkmcGMMVDzpp5xYMWMywKqHO7ImElZZkrJYkTGAKzKlMjhgUxi3AFAwUGNyXqBDoMZevdD67Pd9zZbG9f6A93g7wmdxUh7Rw2tvYtDML3Dlm6OxiLtfKBLl23OccAD_Tb7vk053j2S-87sIz7d7pQ0H-9N_ZmtvhbL-m2VWZ6LIWMtKBDcSMGxsNsCWomVrQCN4GVptsbk0kjklUDVcZsXiFVuMMFQJCWm5PUaeww-fRoHvfOn4FKjZpUomQABKlHzK2WDjzFgp4-hP5hw1gz0ZTfd1Pqym77tlhwvV0ePiP90mRqhLMUfDy5qCA |
CODEN | ITCOB4 |
Cites_doi | 10.1109/TCAD.2004.823348 10.1109/TEST.2012.6401541 10.1109/92.250190 10.1145/378239.379017 10.1109/DSD.2012.148 10.1109/DATE.2011.5763252 10.1145/2463209.2488882 10.1109/HOTCHIPS.2009.7478337 10.1147/JRD.2014.2380272 10.1109/ICCAD.2015.7372654 10.1109/TEST.2007.4437613 10.1090/dimacs/026/25 10.1109/ETS.2009.35 10.1109/ICCAD.2007.4397275 10.1145/368273.368557 10.1109/ATS.2014.30 10.1109/TEST.2014.7035337 10.1109/TCAD.2013.2282776 10.2307/2153416 10.1049/iet-cdt:20060209 |
ContentType | Journal Article |
Copyright | Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2016 |
Copyright_xml | – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2016 |
DBID | 97E RIA RIE AAYXX CITATION 7SC 7SP 8FD JQ2 L7M L~C L~D |
DOI | 10.1109/TC.2016.2560840 |
DatabaseName | IEEE All-Society Periodicals Package (ASPP) 2005–Present IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
DatabaseTitleList | Technology Research Database |
Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/ sourceTypes: Publisher |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Engineering Computer Science |
EISSN | 1557-9956 |
EndPage | 3686 |
ExternalDocumentID | 10_1109_TC_2016_2560840 7463077 |
Genre | orig-research |
GrantInformation_xml | – fundername: Intel Corp grantid: URO grant 2011-2014 |
GroupedDBID | --Z -DZ -~X .DC 0R~ 29I 4.4 5GY 6IK 85S 97E AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFO ACIWK ACNCT AENEX AETEA AGQYO AGSQL AHBIQ AKQYR ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD HZ~ IEDLZ IFIPE IPLJI JAVBF LAI M43 MS~ O9- OCL P2P PQQKQ RIA RIE RNS RXW TAE TN5 TWZ UHB UPT XZL YZZ .55 3EH 3O- 5VS AAYOK AAYXX ABFSI AETIX AI. AIBXA AKJIK ALLEH CITATION E.L H~9 IAAWW IBMZZ ICLAB IFJZH MVM RIG RNI RZB UKR VH1 X7M XJT XOL YXB YYQ ZCG 7SC 7SP 8FD JQ2 L7M L~C L~D |
ID | FETCH-LOGICAL-c243t-1d09032a532e6cb60d5e8c80ea3277abaa45a5e283e9f2c46ee84ae2e606c463 |
IEDL.DBID | RIE |
ISSN | 0018-9340 |
IngestDate | Mon Jun 30 04:53:13 EDT 2025 Tue Jul 01 00:27:37 EDT 2025 Wed Aug 27 02:49:03 EDT 2025 |
IsPeerReviewed | true |
IsScholarly | true |
Issue | 12 |
Language | English |
License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-c243t-1d09032a532e6cb60d5e8c80ea3277abaa45a5e283e9f2c46ee84ae2e606c463 |
Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
PQID | 1837130309 |
PQPubID | 85452 |
PageCount | 11 |
ParticipantIDs | crossref_primary_10_1109_TC_2016_2560840 proquest_journals_1837130309 ieee_primary_7463077 |
ProviderPackageCode | CITATION AAYXX |
PublicationCentury | 2000 |
PublicationDate | 2016-12-01 |
PublicationDateYYYYMMDD | 2016-12-01 |
PublicationDate_xml | – month: 12 year: 2016 text: 2016-12-01 day: 01 |
PublicationDecade | 2010 |
PublicationPlace | New York |
PublicationPlace_xml | – name: New York |
PublicationTitle | IEEE transactions on computers |
PublicationTitleAbbrev | TC |
PublicationYear | 2016 |
Publisher | IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
Publisher_xml | – name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
References | ref13 ref12 ref15 ref14 selman (ref3) 1993; 26 bardell (ref17) 1987 plaza (ref10) 0 ref16 ref19 ref18 wei (ref11) 0 deng (ref9) 0 ref24 ref23 ko (ref26) 0 ref25 ref20 ref22 ref21 wiemann (ref1) 2007 ref27 (ref2) 2013 ref8 wang (ref28) 0 ref7 ref4 ref6 ref5 |
References_xml | – ident: ref5 doi: 10.1109/TCAD.2004.823348 – start-page: 1 year: 2013 ident: ref2 publication-title: IEEE Standard for SystemVerilog-Unified Hardware Design Specification and Verification Language – start-page: 670 year: 0 ident: ref11 article-title: Towards efficient sampling: Exploiting random walk strategies publication-title: Proc Nat Conf Artif Intell – ident: ref18 doi: 10.1109/TEST.2012.6401541 – ident: ref21 doi: 10.1109/92.250190 – ident: ref8 doi: 10.1145/378239.379017 – ident: ref14 doi: 10.1109/DSD.2012.148 – year: 1987 ident: ref17 publication-title: Built-In Test for VLSI Pseudorandom Techniques – ident: ref13 doi: 10.1109/DATE.2011.5763252 – ident: ref15 doi: 10.1145/2463209.2488882 – ident: ref27 doi: 10.1109/HOTCHIPS.2009.7478337 – start-page: 1 year: 0 ident: ref26 article-title: Distributed embedded logic analysis for post-silicon validation of SOCs publication-title: Proc IEEE Int Test Conf – ident: ref12 doi: 10.1147/JRD.2014.2380272 – ident: ref20 doi: 10.1109/ICCAD.2015.7372654 – ident: ref25 doi: 10.1109/TEST.2007.4437613 – volume: 26 start-page: 521 year: 1993 ident: ref3 article-title: Local search strategies for satisfiability testing publication-title: Cliques Coloring and Satisfiability Second DIMACS Implementation Challenge doi: 10.1090/dimacs/026/25 – start-page: 769 year: 0 ident: ref9 article-title: Self-adjusting constrained random stimulus generation using splitting evenness evaluation and XOR constraints publication-title: Proc IEEE/ACM Asia South Pacific Des Autom Conf – ident: ref24 doi: 10.1109/ETS.2009.35 – year: 0 ident: ref28 article-title: RTP payload format for H.264 video – ident: ref4 doi: 10.1109/ICCAD.2007.4397275 – ident: ref7 doi: 10.1145/368273.368557 – ident: ref19 doi: 10.1109/ATS.2014.30 – start-page: 664 year: 0 ident: ref10 article-title: Random stimulus generation using entropy and XOR constraints publication-title: Proc IEEE/ACM Des Autom Test Eur – year: 2007 ident: ref1 publication-title: Standardized Functional Verification – ident: ref16 doi: 10.1109/TEST.2014.7035337 – ident: ref6 doi: 10.1109/TCAD.2013.2282776 – ident: ref22 doi: 10.2307/2153416 – ident: ref23 doi: 10.1049/iet-cdt:20060209 |
SSID | ssj0006209 |
Score | 2.1947675 |
Snippet | The constrained-random methodology is widely used during the pre-silicon verification of very-large scale integrated circuits. Recently, research efforts have... |
SourceID | proquest crossref ieee |
SourceType | Aggregation Database Index Database Publisher |
StartPage | 3676 |
SubjectTerms | Constrained-random stimuli generation cyclic-random patterns Integrated circuits Methodology post-silicon validation Prototypes Random processes Signal generators Software Software algorithms System-on-chip Verification Very large scale integration |
Title | Generating Cyclic-Random Sequences in a Constrained Space for In-System Validation |
URI | https://ieeexplore.ieee.org/document/7463077 https://www.proquest.com/docview/1837130309 |
Volume | 65 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwED61nWCg0IIoFOSBgYGkzstJRhSBClIZ2oK6RX5cpQpIEbQD_HpsJ6kqYGBLJCexfHe-7y6f7wAu0lj6yvOU40tPOCFX3BHz1NqVTFjqx2gDxdEDGz6G97No1oCrzVkYRLTkM3TNpf2Xr5ZybVJlgzhkWiXjJjR14Fae1drsuqymc3j6Q0FIqzI-Hk0H08xQuJhrvHtishxbHsi2VPm1D1vnctuGUT2tklPy7K5XwpVfPyo2_nfe-7BXoUxyXarFATSw6EC77uBAKoPuwO5WOcIujMsa1IYITbJP-bKQzpgXavlKJjXhmiwKwonp8ml7S6AiEx10I9HQl9wVTln_nDxpcF_2ajqE6e3NNBs6Vc8FR_phsHI8ZRI3Po8CH5kUjKoIE5lQ5IEfx1xwHkY8Qg1KMJ37MmSISchRD6ZM3wVH0CqWBR4DmXsavKCGP0KgiYqSRGMd5UWCasiYUNmDy1oM-VtZWSO3EQlN82mWG4nllcR60DWLuhlWrWcP-rXY8sryPnK9RcXGL9P05O-nTmHHvLukpPShtXpf45kGFitxbjXqG-CsySs |
linkProvider | IEEE |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwED5BGYCBN6JQwAMDAymOkzjJiCpQebRDCYgt8uMqVUCKoB3g12M7SVUBA1siObLle33nfL4DOEljxbTva48pX3qh0MKTw9TZlUp4ymJ0iWKvz7sP4c1T9LQAZ7O7MIjoyGfYto_uX74eq6k9KjuPQ25UMl6EJRP3I1be1pr5XV4TOnwzVRDSqpCPT9PzrGNJXLxt43tizznmYpBrqvLLE7vwcrUOvXphJavkuT2dyLb6-lGz8b8r34C1CmeSi1IxNmEBiy1Yr3s4kMqkt2B1riDhNgzKKtSWCk06n-plpLyBKPT4ldzXlGsyKoggts-n6y6BmtybtBuJAb_kuvDKCujk0cD7slvTDmRXl1mn61VdFzzFwmDi-doe3TARBQy5kpzqCBOVUBQBi2MhhQgjEaGBJZgOmQo5YhIKNIMpN2_BLjSKcYF7QIa-gS9oAJCUaPOiJDFoR_uRpAY0JlQ14bQWQ_5W1tbIXU5C0zzr5FZieSWxJmzbTZ0Nq_azCa1abHllex-5cVKxjcw03f_7q2NY7ma9u_zuun97ACt2npKg0oLG5H2KhwZmTOSR065vj5LMdQ |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Generating+Cyclic-Random+Sequences+in+a+Constrained+Space+for+In-System+Validation&rft.jtitle=IEEE+transactions+on+computers&rft.au=Shi%2C+Xiaobing&rft.au=Nicolici%2C+Nicola&rft.date=2016-12-01&rft.pub=The+Institute+of+Electrical+and+Electronics+Engineers%2C+Inc.+%28IEEE%29&rft.issn=0018-9340&rft.eissn=1557-9956&rft.volume=65&rft.issue=12&rft.spage=3676&rft_id=info:doi/10.1109%2FTC.2016.2560840&rft.externalDBID=NO_FULL_TEXT |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0018-9340&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0018-9340&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0018-9340&client=summon |