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...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on computers Vol. 65; no. 12; pp. 3676 - 3686
Main Authors Xiaobing Shi, Nicolici, Nicola
Format Journal Article
LanguageEnglish
Published New York IEEE 01.12.2016
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects
Online AccessGet 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