{"id":"https://openalex.org/W2170540275","doi":"https://doi.org/10.1145/1450135.1450167","title":"Specification-based compaction of directed tests for functional validation of pipelined processors","display_name":"Specification-based compaction of directed tests for functional validation of pipelined processors","publication_year":2008,"publication_date":"2008-10-19","ids":{"openalex":"https://openalex.org/W2170540275","doi":"https://doi.org/10.1145/1450135.1450167","mag":"2170540275"},"language":"en","primary_location":{"id":"doi:10.1145/1450135.1450167","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1450135.1450167","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis","raw_type":"proceedings-article"},"type":"article","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/A5041921276","display_name":"Heon-Mo Koo","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Heon-Mo Koo","raw_affiliation_strings":["Intel Corporation, Folsom, CA, USA"],"affiliations":[{"raw_affiliation_string":"Intel Corporation, Folsom, CA, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006818844","display_name":"Prabhat Mishra","orcid":"https://orcid.org/0000-0003-3653-6221"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Prabhat Mishra","raw_affiliation_strings":["University of Florida, Gainesville, FL, USA"],"affiliations":[{"raw_affiliation_string":"University of Florida, Gainesville, FL, USA","institution_ids":["https://openalex.org/I33213144"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5041921276"],"corresponding_institution_ids":["https://openalex.org/I1343180700"],"apc_list":null,"apc_paid":null,"fwci":0.6907,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.78424114,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"137","last_page":"142"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.995199978351593,"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.7251248359680176},{"id":"https://openalex.org/keywords/compaction","display_name":"Compaction","score":0.6991171836853027},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3425558805465698},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.32047125697135925},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13135960698127747},{"id":"https://openalex.org/keywords/geotechnical-engineering","display_name":"Geotechnical engineering","score":0.0703381896018982}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7251248359680176},{"id":"https://openalex.org/C196715460","wikidata":"https://www.wikidata.org/wiki/Q1414356","display_name":"Compaction","level":2,"score":0.6991171836853027},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3425558805465698},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32047125697135925},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13135960698127747},{"id":"https://openalex.org/C187320778","wikidata":"https://www.wikidata.org/wiki/Q1349130","display_name":"Geotechnical engineering","level":1,"score":0.0703381896018982}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1450135.1450167","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1450135.1450167","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.579.2327","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.579.2327","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cecs.uci.edu/~papers/esweek08/codes/p137.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5299999713897705,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W141583583","https://openalex.org/W1485100803","https://openalex.org/W1555915743","https://openalex.org/W1570731187","https://openalex.org/W2009653580","https://openalex.org/W2014529057","https://openalex.org/W2046211462","https://openalex.org/W2060461359","https://openalex.org/W2072442688","https://openalex.org/W2089875208","https://openalex.org/W2096735225","https://openalex.org/W2098393491","https://openalex.org/W2102598768","https://openalex.org/W2123388159","https://openalex.org/W2126676773","https://openalex.org/W2136357775","https://openalex.org/W2149852203","https://openalex.org/W2154038545","https://openalex.org/W2161314693","https://openalex.org/W6605794956"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W3013719031","https://openalex.org/W3140187064","https://openalex.org/W2028550458","https://openalex.org/W2087846525","https://openalex.org/W2378755530","https://openalex.org/W585895904","https://openalex.org/W2004528270","https://openalex.org/W2485606874","https://openalex.org/W3043655019"],"abstract_inverted_index":{"Functional":[0],"validation":[1,18],"is":[2,11,47,86],"a":[3,31,48,71,87,103,110],"major":[4],"bottleneck":[5],"in":[6,123],"microprocessor":[7],"design":[8],"methodology.":[9],"Simulation":[10],"the":[12,41,58,94,130],"widely":[13],"used":[14],"method":[15],"for":[16,53,73],"functional":[17,43,131],"using":[19,109],"billions":[20],"of":[21,50,60,83,97,125],"random":[22,37],"and":[23,77,113],"biased-random":[24],"test":[25,33,55,78,99],"programs.":[26],"Although":[27],"directed":[28,54,61,98,126],"tests":[29,38,62,127],"require":[30],"smaller":[32],"set":[34],"compared":[35],"to":[36,39,101],"achieve":[40,102],"same":[42],"coverage":[44,75,104,132],"goal,":[45],"there":[46],"lack":[49],"automated":[51],"techniques":[52],"generation.":[56,79],"Furthermore,":[57],"number":[59,96,124],"can":[63,91],"still":[64],"be":[65],"prohibitively":[66],"large.":[67],"This":[68],"paper":[69,85],"presents":[70],"methodology":[72],"specification-based":[74],"analysis":[76],"The":[80],"primary":[81],"contribution":[82],"this":[84],"compaction":[88],"technique":[89],"that":[90],"drastically":[92],"reduce":[93],"required":[95],"programs":[100],"goal.":[105,133],"Our":[106],"experimental":[107],"results":[108],"MIPS":[111],"processor":[112,116],"an":[114],"industrial":[115],"(e500)":[117],"demonstrate":[118],"more":[119],"than":[120],"90%":[121],"reduction":[122],"without":[128],"sacrificing":[129]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}