{"id":"https://openalex.org/W2139705864","doi":"https://doi.org/10.1145/1065579.1065787","title":"VLIW","display_name":"VLIW","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2139705864","doi":"https://doi.org/10.1145/1065579.1065787","mag":"2139705864"},"language":"en","primary_location":{"id":"doi:10.1145/1065579.1065787","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1065579.1065787","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 42nd annual conference on Design automation  - DAC '05","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/A5014058894","display_name":"Allon Adir","orcid":"https://orcid.org/0000-0001-8128-6706"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL","US"],"is_corresponding":true,"raw_author_name":"Allon Adir","raw_affiliation_strings":["IBM Research Laboratory, Haifa, Israel","IBM Res. Lab, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Laboratory, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Res. Lab, Haifa, Israel","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041078912","display_name":"Yaron Arbetman","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]},{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["IL","US"],"is_corresponding":false,"raw_author_name":"Yaron Arbetman","raw_affiliation_strings":["IBM Research Laboratory, Haifa, Israel","IBM Res. Lab, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Laboratory, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Res. Lab, Haifa, Israel","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085109191","display_name":"Bella Dubrov","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL","US"],"is_corresponding":false,"raw_author_name":"Bella Dubrov","raw_affiliation_strings":["IBM Research Laboratory, Haifa, Israel","IBM Res. Lab, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Laboratory, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Res. Lab, Haifa, Israel","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004558254","display_name":"Yossi Lichtenstein","orcid":"https://orcid.org/0000-0002-8002-7144"},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yossi Lichtenstein","raw_affiliation_strings":["IBM Research Laboratory, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Laboratory, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074452996","display_name":"Michal Rimon","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL","US"],"is_corresponding":false,"raw_author_name":"Michal Rimon","raw_affiliation_strings":["IBM Research Laboratory, Haifa, Israel","IBM Res. Lab, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Laboratory, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Res. Lab, Haifa, Israel","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078584302","display_name":"Michael Vinov","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL","US"],"is_corresponding":false,"raw_author_name":"Michael Vinov","raw_affiliation_strings":["IBM Research Laboratory, Haifa, Israel","IBM Res. Lab, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Laboratory, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Res. Lab, Haifa, Israel","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039598570","display_name":"Massimo A. Calligaro","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104693","display_name":"STMicroelectronics (France)","ror":"https://ror.org/01c74sd89","country_code":"FR","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210104693"]},{"id":"https://openalex.org/I4210128684","display_name":"Laboratoire des Technologies de la Micro\u00e9lectronique","ror":"https://ror.org/036zswm25","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2738703131","https://openalex.org/I3020098449","https://openalex.org/I4210095849","https://openalex.org/I4210128684","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Massimo A. Calligaro","raw_affiliation_strings":["ST Microelectronics Design Center, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"ST Microelectronics Design Center, Grenoble, France","institution_ids":["https://openalex.org/I4210128684","https://openalex.org/I4210104693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014855573","display_name":"A. Cofler","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128684","display_name":"Laboratoire des Technologies de la Micro\u00e9lectronique","ror":"https://ror.org/036zswm25","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2738703131","https://openalex.org/I3020098449","https://openalex.org/I4210095849","https://openalex.org/I4210128684","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210104693","display_name":"STMicroelectronics (France)","ror":"https://ror.org/01c74sd89","country_code":"FR","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210104693"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Andrew Cofler","raw_affiliation_strings":["ST Microelectronics Design Center, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"ST Microelectronics Design Center, Grenoble, France","institution_ids":["https://openalex.org/I4210128684","https://openalex.org/I4210104693"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082975458","display_name":"Gabriel Duffy","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128684","display_name":"Laboratoire des Technologies de la Micro\u00e9lectronique","ror":"https://ror.org/036zswm25","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2738703131","https://openalex.org/I3020098449","https://openalex.org/I4210095849","https://openalex.org/I4210128684","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210104693","display_name":"STMicroelectronics (France)","ror":"https://ror.org/01c74sd89","country_code":"FR","type":"company","lineage":["https://openalex.org/I131827901","https://openalex.org/I4210104693"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gabriel Duffy","raw_affiliation_strings":["ST Microelectronics Design Center, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"ST Microelectronics Design Center, Grenoble, France","institution_ids":["https://openalex.org/I4210128684","https://openalex.org/I4210104693"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5014058894"],"corresponding_institution_ids":["https://openalex.org/I1341412227","https://openalex.org/I4210167297"],"apc_list":null,"apc_paid":null,"fwci":0.3713,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.69251481,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"779","last_page":"779"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9980000257492065,"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/very-long-instruction-word","display_name":"Very long instruction word","score":0.8830143213272095},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8792461156845093},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.6229170560836792},{"id":"https://openalex.org/keywords/template","display_name":"Template","score":0.5177944898605347},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.502964198589325},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.49653154611587524},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.4846249520778656},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.43676209449768066},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.41830819845199585},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3218287229537964},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30207112431526184}],"concepts":[{"id":"https://openalex.org/C170595534","wikidata":"https://www.wikidata.org/wiki/Q249743","display_name":"Very long instruction word","level":2,"score":0.8830143213272095},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8792461156845093},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.6229170560836792},{"id":"https://openalex.org/C82714645","wikidata":"https://www.wikidata.org/wiki/Q438331","display_name":"Template","level":2,"score":0.5177944898605347},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.502964198589325},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.49653154611587524},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.4846249520778656},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.43676209449768066},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.41830819845199585},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3218287229537964},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30207112431526184},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1065579.1065787","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1065579.1065787","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 42nd annual conference on Design automation  - DAC '05","raw_type":"proceedings-article"},{"id":"pmh:oai:ueaeprints.uea.ac.uk:39093","is_oa":false,"landing_page_url":"https://ueaeprints.uea.ac.uk/id/eprint/39093/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400384","display_name":"UEA Digital Repository (University of East Anglia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1118541","host_organization_name":"University of East Anglia","host_organization_lineage":["https://openalex.org/I1118541"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1502559739","https://openalex.org/W1540814057","https://openalex.org/W1604196524","https://openalex.org/W2042835116","https://openalex.org/W2102606870","https://openalex.org/W2136357775","https://openalex.org/W2171714961","https://openalex.org/W2799094315"],"related_works":["https://openalex.org/W2169359484","https://openalex.org/W2091059919","https://openalex.org/W1588619283","https://openalex.org/W1897551170","https://openalex.org/W2164026451","https://openalex.org/W2081989262","https://openalex.org/W2050874000","https://openalex.org/W2116296227","https://openalex.org/W2163046274","https://openalex.org/W2613504015"],"abstract_inverted_index":{"Parallelism":[0],"in":[1,14],"processor":[2],"architecture":[3],"and":[4,54,89,106,123],"design":[5],"imposes":[6],"a":[7,31,41],"verification":[8,29,38,124],"challenge":[9],"as":[10,51],"the":[11,15,28,48,56,72,75,100,103,116],"exponential":[12],"growth":[13],"number":[16],"of":[17,30,68,74,102],"execution":[18],"combinations":[19],"becomes":[20],"unwieldy.":[21],"In":[22],"this":[23,87],"paper":[24],"we":[25],"report":[26],"on":[27],"Very":[32],"Large":[33],"Instruction":[34],"Word":[35],"processor.":[36],"The":[37,63],"team":[39],"used":[40],"sophisticated":[42],"test":[43,61],"program":[44],"generator":[45],"that":[46,115],"modeled":[47],"parallel":[49,93,121],"aspects":[50],"sequential":[52],"constraints,":[53],"augmented":[55],"tool":[57],"with":[58],"manually":[59],"written":[60],"templates.":[62],"system":[64],"created":[65],"large":[66],"numbers":[67],"legal":[69],"stimuli,":[70],"however":[71],"quality":[73,109],"tests":[76],"was":[77],"proved":[78],"insufficient":[79],"by":[80],"several":[81,111],"post":[82],"silicon":[83],"bugs.":[84],"We":[85,96,113],"analyze":[86],"experience":[88],"suggest":[90],"an":[91],"alternative,":[92],"generation":[94],"technique.":[95],"show":[97],"through":[98],"experiments":[99],"feasibility":[101],"new":[104],"technique":[105],"its":[107],"superior":[108],"along":[110],"dimensions.":[112],"claim":[114],"results":[117],"apply":[118],"to":[119],"other":[120],"architectures":[122],"environments.":[125]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2016-06-24T00:00:00"}