{"id":"https://openalex.org/W2101009238","doi":"https://doi.org/10.1145/1687399.1687551","title":"POWER7","display_name":"POWER7","publication_year":2009,"publication_date":"2009-11-02","ids":{"openalex":"https://openalex.org/W2101009238","doi":"https://doi.org/10.1145/1687399.1687551","mag":"2101009238"},"language":"en","primary_location":{"id":"doi:10.1145/1687399.1687551","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1687399.1687551","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2009 International Conference on Computer-Aided Design","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/A5058612894","display_name":"Klaus-Dieter Schubert","orcid":null},"institutions":[{"id":"https://openalex.org/I4210095996","display_name":"IBM (Germany)","ror":"https://ror.org/00pm7rm97","country_code":"DE","type":"company","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210095996"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Klaus-Dieter Schubert","raw_affiliation_strings":["IBM Deutschland, Research & Development GmbH, B\u00f6blingen"],"affiliations":[{"raw_affiliation_string":"IBM Deutschland, Research & Development GmbH, B\u00f6blingen","institution_ids":["https://openalex.org/I4210095996"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5058612894"],"corresponding_institution_ids":["https://openalex.org/I4210095996"],"apc_list":null,"apc_paid":null,"fwci":2.0566,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.86881816,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"809","last_page":"812"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9994999766349792,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9983999729156494,"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.8082412481307983},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6502900719642639},{"id":"https://openalex.org/keywords/ibm","display_name":"IBM","score":0.581131100654602},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.5736762881278992},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5550737380981445},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5473898649215698},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.4528256058692932},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.45180052518844604},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4214043915271759},{"id":"https://openalex.org/keywords/microprocessor","display_name":"Microprocessor","score":0.4158828854560852},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.4135257303714752},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4130553603172302},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.4119139015674591},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.40771010518074036},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.231755793094635},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1857847273349762}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8082412481307983},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6502900719642639},{"id":"https://openalex.org/C70388272","wikidata":"https://www.wikidata.org/wiki/Q5968558","display_name":"IBM","level":2,"score":0.581131100654602},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.5736762881278992},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5550737380981445},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5473898649215698},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.4528256058692932},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.45180052518844604},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4214043915271759},{"id":"https://openalex.org/C2780728072","wikidata":"https://www.wikidata.org/wiki/Q5297","display_name":"Microprocessor","level":2,"score":0.4158828854560852},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.4135257303714752},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4130553603172302},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.4119139015674591},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.40771010518074036},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.231755793094635},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1857847273349762},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1687399.1687551","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1687399.1687551","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2009 International Conference on Computer-Aided Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6499999761581421,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W2043340768","https://openalex.org/W2136357775","https://openalex.org/W2151051752","https://openalex.org/W2403933466","https://openalex.org/W2406248822","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2106507440","https://openalex.org/W2162615969","https://openalex.org/W3023586562","https://openalex.org/W2105593427","https://openalex.org/W3120172095","https://openalex.org/W3209085687","https://openalex.org/W4375857205","https://openalex.org/W4386764073","https://openalex.org/W2151755292","https://openalex.org/W1979906691"],"abstract_inverted_index":{"Over":[0],"the":[1,11,35,47,73,90,99,102,116,129,136,139,145,166,169,182,185,188,194,199,211,220,224,247],"years":[2],"functional":[3],"hardware":[4,17],"verification":[5,26,62,171,201,209,249],"has":[6,29,43,192,213,237],"made":[7],"significant":[8],"progress":[9],"in":[10,61,162,174,228],"areas":[12],"of":[13,80,138,168,196,226],"traditional":[14],"simulation":[15,234],"techniques,":[16],"accelerator":[18],"usage":[19,225],"and":[20,39,177,210,218,242,257,263],"last":[21],"but":[22,113],"not":[23,66,76],"least":[24],"formal":[25,170,208],"approaches.":[27],"This":[28,132,151],"been":[30,44,64,149],"sufficient":[31],"to":[32,67,93,127,144,165,215,235,239],"deal":[33],"with":[34,84,110,135],"additional":[36],"design":[37,83,212],"content":[38],"complexity":[40],"increase":[41],"that":[42],"happening":[45],"at":[46,98,119],"same":[48,100,183],"time.":[49],"For":[50],"POWER7,":[51],"IBM's":[52],"first":[53,140],"high":[54],"end":[55],"8-core":[56],"microprocessor,":[57],"these":[58,120],"incremental":[59],"improvements":[60,143],"have":[63,148],"deemed":[65],"be":[68,94,128],"enough":[69],"by":[70],"themselves,":[71],"because":[72],"chip":[74,91],"was":[75],"just":[77],"a":[78,106,122],"remap":[79],"an":[81,252],"existing":[82,146],"more":[85],"cores.":[86],"The":[87,203],"infrastructure":[88],"on":[89,254],"had":[92],"changed":[95],"significantly,":[96],"while":[97],"time":[101],"business":[103],"side":[104],"requested":[105],"shorter":[107],"development":[108],"cycle":[109],"perfect":[111],"quality":[112],"without":[114],"growing":[115],"team.":[117],"Looking":[118],"constraints":[121],"two":[123],"phase":[124,190],"approach":[125],"seemed":[126],"only":[130],"solution.":[131],"paper":[133,186],"commences":[134],"highlights":[137],"phase,":[141],"where":[142],"process":[147],"identified.":[150],"includes":[152],"topics":[153],"ranging":[154],"from":[155,231],"enhanced":[156],"test":[157],"case":[158],"generation,":[159],"over":[160],"advancements":[161],"structural":[163],"checking":[164,176],"extensions":[167],"scope":[172],"both":[173],"property":[175],"sequential":[178],"equivalence":[179],"checking.":[180],"At":[181],"time,":[184],"describes":[187],"second":[189],"which":[191,245],"targeted":[193],"exploitation":[195],"synergy":[197],"across":[198],"various":[200],"activities.":[202],"active":[204],"interlock":[205],"between":[206],"simulation,":[207],"helped":[214],"reduce":[216],"workload":[217],"improved":[219,246],"project":[221],"schedule.":[222],"And":[223],"coverage":[227],"holistic":[229],"way":[230],"unit":[232],"level":[233],"acceleration":[236],"led":[238],"new":[240,243],"innovations":[241],"insight,":[244],"overall":[248],"process.":[250],"Finally,":[251],"outlook":[253],"future":[255,258],"challenges":[256],"trends":[259],"is":[260],"given.":[261],"Categories":[262],"Subject":[264],"Descriptors":[265],"B.6.3":[266],"[Logic":[267],"Design]:":[268],"Design":[269],"Aids":[270],"\u2014":[271],"Verification.":[272],"General":[273],"Terms":[274],"Verification":[275]},"counts_by_year":[{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}