{"id":"https://openalex.org/W2100707944","doi":"https://doi.org/10.1109/iscas.2011.5937853","title":"A heuristic algorithm for reducing system-level test vectors with high branch coverage","display_name":"A heuristic algorithm for reducing system-level test vectors with high branch coverage","publication_year":2011,"publication_date":"2011-05-01","ids":{"openalex":"https://openalex.org/W2100707944","doi":"https://doi.org/10.1109/iscas.2011.5937853","mag":"2100707944"},"language":"en","primary_location":{"id":"doi:10.1109/iscas.2011.5937853","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iscas.2011.5937853","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International Symposium of Circuits and Systems (ISCAS)","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/A5009084626","display_name":"Koji Yamazaki","orcid":"https://orcid.org/0000-0003-2025-6268"},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Koji Yamazaki","raw_affiliation_strings":["NTT Microsystem Integration Laboratories, Atsugi, Kanagawa, Japan","NTT Microsystem Integration Laboratories, Atsugi-shi, Kanagawa, 243-0198, JAPAN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NTT Microsystem Integration Laboratories, Atsugi, Kanagawa, Japan","institution_ids":[]},{"raw_affiliation_string":"NTT Microsystem Integration Laboratories, Atsugi-shi, Kanagawa, 243-0198, JAPAN","institution_ids":["https://openalex.org/I2251713219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061125302","display_name":"Yusuke Sekihara","orcid":null},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yusuke Sekihara","raw_affiliation_strings":["NTT Microsystem Integration Laboratories, Atsugi, Kanagawa, Japan","NTT Microsystem Integration Laboratories, Atsugi-shi, Kanagawa, 243-0198, JAPAN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NTT Microsystem Integration Laboratories, Atsugi, Kanagawa, Japan","institution_ids":[]},{"raw_affiliation_string":"NTT Microsystem Integration Laboratories, Atsugi-shi, Kanagawa, 243-0198, JAPAN","institution_ids":["https://openalex.org/I2251713219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102962206","display_name":"Takashi Aoki","orcid":"https://orcid.org/0000-0001-8625-6151"},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takashi Aoki","raw_affiliation_strings":["NTT Microsystem Integration Laboratories, Atsugi, Kanagawa, Japan","NTT Microsystem Integration Laboratories, Atsugi-shi, Kanagawa, 243-0198, JAPAN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NTT Microsystem Integration Laboratories, Atsugi, Kanagawa, Japan","institution_ids":[]},{"raw_affiliation_string":"NTT Microsystem Integration Laboratories, Atsugi-shi, Kanagawa, 243-0198, JAPAN","institution_ids":["https://openalex.org/I2251713219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064549956","display_name":"Eiichi Hosoya","orcid":null},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Eiichi Hosoya","raw_affiliation_strings":["NTT Microsystem Integration Laboratories, Atsugi, Kanagawa, Japan","NTT Microsystem Integration Laboratories, Atsugi-shi, Kanagawa, 243-0198, JAPAN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NTT Microsystem Integration Laboratories, Atsugi, Kanagawa, Japan","institution_ids":[]},{"raw_affiliation_string":"NTT Microsystem Integration Laboratories, Atsugi-shi, Kanagawa, 243-0198, JAPAN","institution_ids":["https://openalex.org/I2251713219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017465158","display_name":"Akira Onozawa","orcid":null},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Akira Onozawa","raw_affiliation_strings":["NTT Microsystem Integration Laboratories, Atsugi, Kanagawa, Japan","NTT Microsystem Integration Laboratories, Atsugi-shi, Kanagawa, 243-0198, JAPAN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NTT Microsystem Integration Laboratories, Atsugi, Kanagawa, Japan","institution_ids":[]},{"raw_affiliation_string":"NTT Microsystem Integration Laboratories, Atsugi-shi, Kanagawa, 243-0198, JAPAN","institution_ids":["https://openalex.org/I2251713219"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5009084626"],"corresponding_institution_ids":["https://openalex.org/I2251713219"],"apc_list":null,"apc_paid":null,"fwci":0.2576,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.58100147,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"4144","issue":null,"first_page":"1475","last_page":"1478"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9995999932289124,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7438189387321472},{"id":"https://openalex.org/keywords/systemc","display_name":"SystemC","score":0.6425706744194031},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5784525871276855},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.5608662366867065},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5444565415382385},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5390396118164062},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.48762908577919006},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.44235512614250183},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.41001832485198975},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.37549400329589844},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3102101683616638},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3050568699836731},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23576846718788147},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1349678635597229},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10647588968276978}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7438189387321472},{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.6425706744194031},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5784525871276855},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.5608662366867065},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5444565415382385},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5390396118164062},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.48762908577919006},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.44235512614250183},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.41001832485198975},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.37549400329589844},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3102101683616638},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3050568699836731},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23576846718788147},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1349678635597229},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10647588968276978},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iscas.2011.5937853","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iscas.2011.5937853","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International Symposium of Circuits and Systems (ISCAS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1481714151","https://openalex.org/W1710734607","https://openalex.org/W2009489720","https://openalex.org/W2049947706","https://openalex.org/W2107089133","https://openalex.org/W2115612093","https://openalex.org/W2123459237","https://openalex.org/W2125967324","https://openalex.org/W2142689455","https://openalex.org/W2156499539","https://openalex.org/W2161488870","https://openalex.org/W2163499368","https://openalex.org/W3144926350","https://openalex.org/W4239921445","https://openalex.org/W6637688222","https://openalex.org/W6663109092","https://openalex.org/W6681031364","https://openalex.org/W6683195904"],"related_works":["https://openalex.org/W2056893153","https://openalex.org/W2028386630","https://openalex.org/W2166358658","https://openalex.org/W3172631514","https://openalex.org/W2012039880","https://openalex.org/W2204090679","https://openalex.org/W3120172095","https://openalex.org/W2118572231","https://openalex.org/W2106507440","https://openalex.org/W2226016578"],"abstract_inverted_index":{"We":[0,40,53],"introduce":[1],"a":[2,8],"heuristic":[3],"that":[4,77],"generates":[5],"as":[6,13,68],"few":[7],"number":[9],"of":[10,23,72,82],"test":[11,44,85,96],"vectors":[12,45,86,97],"possible":[14],"with":[15,89],"high":[16],"branch":[17,66,91,106],"coverage":[18,67,92,107],"for":[19,35,98,114,120],"the":[20,47,65,83],"functional":[21],"verification":[22,37,116],"digital":[24],"design.":[25],"The":[26,94],"challenge":[27],"is":[28],"how":[29],"to":[30,56],"save":[31],"time":[32],"and":[33,118],"effort":[34],"sufficient":[36],"at":[38],"system-level.":[39],"focus":[41],"on":[42,80,108],"generating":[43],"from":[46],"circuit":[48],"specification":[49],"written":[50],"in":[51],"C.":[52],"reuse":[54],"them":[55],"SystemC":[57,99],"description":[58],"by":[59],"removing":[60],"their":[61],"redundancies":[62],"while":[63],"maintaining":[64],"is.":[69],"Experimental":[70],"results":[71,111],"our":[73],"practical":[74],"design":[75],"show":[76],"over":[78],"90%":[79],"average":[81],"redundant":[84],"were":[87],"reduced":[88],"100%":[90],"maintained.":[93],"reused":[95],"Bus":[100],"Cycle":[101],"Accurate":[102],"models":[103],"scored":[104],"80%":[105],"average.":[109],"These":[110],"are":[112],"significant":[113],"saving":[115],"cost":[117],"beneficial":[119],"simplifying":[121],"debugging":[122],"works.":[123]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}