{"id":"https://openalex.org/W1979265308","doi":"https://doi.org/10.1109/latw.2011.5985930","title":"Functional verification of logic modules for a Gigabit Ethernet switch","display_name":"Functional verification of logic modules for a Gigabit Ethernet switch","publication_year":2011,"publication_date":"2011-03-01","ids":{"openalex":"https://openalex.org/W1979265308","doi":"https://doi.org/10.1109/latw.2011.5985930","mag":"1979265308"},"language":"en","primary_location":{"id":"doi:10.1109/latw.2011.5985930","is_oa":false,"landing_page_url":"https://doi.org/10.1109/latw.2011.5985930","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 12th Latin American Test Workshop (LATW)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011126986","display_name":"Jorge Tonfat","orcid":"https://orcid.org/0000-0001-9346-3079"},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jorge Tonfat","raw_affiliation_strings":["Instituto de Inform\u00e1tica-PPGC/PGMicro, Universidade Federal do Rio Grande do Sul, Porto Alegre, Rio Grande do Sul, Brazil","Universidade Federal do Rio Grande do Sul (UFRGS), Instituto de Inform\u00e1tica - PPGC/PGMicro, Av. Bento Gon\u00e7alves 9500 Porto Alegre, RS - Brasil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Inform\u00e1tica-PPGC/PGMicro, Universidade Federal do Rio Grande do Sul, Porto Alegre, Rio Grande do Sul, Brazil","institution_ids":["https://openalex.org/I130442723"]},{"raw_affiliation_string":"Universidade Federal do Rio Grande do Sul (UFRGS), Instituto de Inform\u00e1tica - PPGC/PGMicro, Av. Bento Gon\u00e7alves 9500 Porto Alegre, RS - Brasil","institution_ids":["https://openalex.org/I130442723"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037400337","display_name":"Gustavo Neuberger","orcid":null},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Gustavo Neuberger","raw_affiliation_strings":["Instituto de Inform\u00e1tica-PPGC/PGMicro, Universidade Federal do Rio Grande do Sul, Porto Alegre, Rio Grande do Sul, Brazil","Universidade Federal do Rio Grande do Sul (UFRGS), Instituto de Inform\u00e1tica - PPGC/PGMicro, Av. Bento Gon\u00e7alves 9500 Porto Alegre, RS - Brasil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Inform\u00e1tica-PPGC/PGMicro, Universidade Federal do Rio Grande do Sul, Porto Alegre, Rio Grande do Sul, Brazil","institution_ids":["https://openalex.org/I130442723"]},{"raw_affiliation_string":"Universidade Federal do Rio Grande do Sul (UFRGS), Instituto de Inform\u00e1tica - PPGC/PGMicro, Av. Bento Gon\u00e7alves 9500 Porto Alegre, RS - Brasil","institution_ids":["https://openalex.org/I130442723"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108043721","display_name":"Ricardo Reis","orcid":"https://orcid.org/0000-0001-5781-5858"},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Ricardo Reis","raw_affiliation_strings":["Instituto de Inform\u00e1tica-PPGC/PGMicro, Universidade Federal do Rio Grande do Sul, Porto Alegre, Rio Grande do Sul, Brazil","Universidade Federal do Rio Grande do Sul (UFRGS), Instituto de Inform\u00e1tica - PPGC/PGMicro, Av. Bento Gon\u00e7alves 9500 Porto Alegre, RS - Brasil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Inform\u00e1tica-PPGC/PGMicro, Universidade Federal do Rio Grande do Sul, Porto Alegre, Rio Grande do Sul, Brazil","institution_ids":["https://openalex.org/I130442723"]},{"raw_affiliation_string":"Universidade Federal do Rio Grande do Sul (UFRGS), Instituto de Inform\u00e1tica - PPGC/PGMicro, Av. Bento Gon\u00e7alves 9500 Porto Alegre, RS - Brasil","institution_ids":["https://openalex.org/I130442723"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I130442723"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7915927171707153},{"id":"https://openalex.org/keywords/gigabit-ethernet","display_name":"Gigabit Ethernet","score":0.6591103672981262},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5020618438720703},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.414715051651001},{"id":"https://openalex.org/keywords/ethernet","display_name":"Ethernet","score":0.35434406995773315},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.2890976369380951}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7915927171707153},{"id":"https://openalex.org/C2776379158","wikidata":"https://www.wikidata.org/wiki/Q1069084","display_name":"Gigabit Ethernet","level":3,"score":0.6591103672981262},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5020618438720703},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.414715051651001},{"id":"https://openalex.org/C172173386","wikidata":"https://www.wikidata.org/wiki/Q79984","display_name":"Ethernet","level":2,"score":0.35434406995773315},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.2890976369380951},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/latw.2011.5985930","is_oa":false,"landing_page_url":"https://doi.org/10.1109/latw.2011.5985930","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 12th Latin American Test Workshop (LATW)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.4000000059604645}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W35195674","https://openalex.org/W1900731645","https://openalex.org/W2093722143","https://openalex.org/W2097831241","https://openalex.org/W2107982612","https://openalex.org/W2114686989","https://openalex.org/W2130182604","https://openalex.org/W2166358658","https://openalex.org/W2536181230","https://openalex.org/W4205630230"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W199604363","https://openalex.org/W2388281117","https://openalex.org/W2377701158","https://openalex.org/W2374528812","https://openalex.org/W2373090658"],"abstract_inverted_index":{"This":[0,41,64,200],"work":[1,91],"presents":[2],"the":[3,20,44,48,67,106,110,142,144,150,156,167,170,175,188,192,195,203,213,218,222,245,253],"functional":[4,254],"verification":[5,198],"of":[6,58,69,94,102,129,206,235],"logic":[7,86],"modules":[8,76,87,116],"for":[9,15,74,80],"a":[10,35,70,95,184,232,248],"Gigabit":[11,96],"Ethernet":[12,97],"(GigE)":[13],"Switch":[14],"an":[16],"ASIC":[17],"based":[18],"on":[19],"NetFPGA":[21],"platform.":[22],"A":[23],"coverage-driven":[24],"constrained":[25],"random":[26],"stimulus":[27],"approach":[28],"is":[29,32,61,105],"used.":[30],"It":[31],"implemented":[33],"in":[34,89,136,141,244],"layered-testbench":[36],"environment":[37,42,73],"with":[38,77,122,221,247],"self-checking":[39],"capability.":[40],"implements":[43],"methodology":[45,60],"presented":[46,88],"by":[47,252],"Verification":[49],"Methodology":[50],"Manual":[51],"(VMM)":[52],"using":[53],"Sys-temVerilog.":[54],"The":[55,84,99],"main":[56,204],"advantage":[57,205],"this":[59,90],"its":[62,113],"reusability.":[63],"characteristic":[65,101],"enables":[66],"development":[68],"common":[71,100],"testbench":[72],"our":[75],"minimum":[78],"changes":[79],"each":[81],"particular":[82],"module.":[83],"four":[85],"implement":[92],"functions":[93],"switch.":[98],"these":[103],"circuits":[104],"close":[107],"dependency":[108],"between":[109,191],"time":[111,118,164,211],"and":[112,194,216,241,255],"functionality.":[114],"These":[115,226],"need":[117],"information":[119,165],"to":[120,148,173,178,187,230,239],"deal":[121],"problems":[123],"such":[124],"as":[125],"rate":[126],"limiting,":[127],"quality":[128],"service":[130],"(QoS)":[131],"or":[132],"aging":[133],"lookup":[134],"tables":[135],"classification":[137],"engines.":[138],"As":[139],"described":[140],"literature,":[143],"transaction-level":[145,207],"models":[146,208],"used":[147],"predict":[149],"circuit":[151,168,176,224,246],"behavior":[152],"are":[153,159],"time-independent":[154],"when":[155,163],"implementation":[157],"details":[158],"not":[160],"relevant.":[161],"But":[162],"influences":[166],"functionality,":[169],"model":[171,193],"needs":[172],"replicate":[174],"latency":[177],"be":[179],"functionally":[180],"equivalent.":[181],"We":[182],"propose":[183],"simple":[185],"solution":[186,201],"synchronization":[189],"process":[190],"design":[196],"under":[197],"(DUV).":[199],"preserves":[202],"(faster":[209],"simulation":[210],"than":[212],"RTL":[214],"model)":[215],"generates":[217],"result":[219],"data":[220],"same":[223],"latency.":[225],"features":[227],"made":[228],"possible":[229],"run":[231],"considerable":[233],"amount":[234],"testcases":[236],"that":[237],"helps":[238],"find":[240],"correct":[242],"bugs":[243],"high":[249],"confidence":[250],"measured":[251],"code":[256],"coverage":[257],"results.":[258]},"counts_by_year":[],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}