{"id":"https://openalex.org/W2014687808","doi":"https://doi.org/10.1145/2769458.2769463","title":"Improving Accuracy and Performance Through Automatic Model Generation for Gate-Level Circuit PDES with Reverse Computation","display_name":"Improving Accuracy and Performance Through Automatic Model Generation for Gate-Level Circuit PDES with Reverse Computation","publication_year":2015,"publication_date":"2015-06-10","ids":{"openalex":"https://openalex.org/W2014687808","doi":"https://doi.org/10.1145/2769458.2769463","mag":"2014687808"},"language":"en","primary_location":{"id":"doi:10.1145/2769458.2769463","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2769458.2769463","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","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/A5070638754","display_name":"Elsa Gonsiorowski","orcid":"https://orcid.org/0000-0002-8815-229X"},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Elsa J. Gonsiorowski","raw_affiliation_strings":["Rensselaer Polytechnic Institute, Troy, NY, USA"],"affiliations":[{"raw_affiliation_string":"Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007127886","display_name":"Justin M. LaPre","orcid":null},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Justin M. LaPre","raw_affiliation_strings":["Rensselaer Polytechnic Institute, Troy, NY, USA"],"affiliations":[{"raw_affiliation_string":"Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061545857","display_name":"Christopher D. Carothers","orcid":null},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christopher D. Carothers","raw_affiliation_strings":["Rensselaer Polytechnic Institute, Troy, NY, USA"],"affiliations":[{"raw_affiliation_string":"Rensselaer Polytechnic Institute, Troy, NY, USA","institution_ids":["https://openalex.org/I165799507"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5070638754"],"corresponding_institution_ids":["https://openalex.org/I165799507"],"apc_list":null,"apc_paid":null,"fwci":0.7119151,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.7928788,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"87","last_page":"96"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.996999979019165,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9926000237464905,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8306083679199219},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.565930187702179},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.48740485310554504},{"id":"https://openalex.org/keywords/ibm","display_name":"IBM","score":0.45425844192504883},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.44623124599456787},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.4443952441215515},{"id":"https://openalex.org/keywords/fidelity","display_name":"Fidelity","score":0.44061312079429626},{"id":"https://openalex.org/keywords/and-gate","display_name":"AND gate","score":0.43165040016174316},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4176620543003082},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.411947637796402},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.24782705307006836},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22455257177352905},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.09431320428848267}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8306083679199219},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.565930187702179},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.48740485310554504},{"id":"https://openalex.org/C70388272","wikidata":"https://www.wikidata.org/wiki/Q5968558","display_name":"IBM","level":2,"score":0.45425844192504883},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.44623124599456787},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.4443952441215515},{"id":"https://openalex.org/C2776459999","wikidata":"https://www.wikidata.org/wiki/Q2119376","display_name":"Fidelity","level":2,"score":0.44061312079429626},{"id":"https://openalex.org/C10418432","wikidata":"https://www.wikidata.org/wiki/Q560370","display_name":"AND gate","level":3,"score":0.43165040016174316},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4176620543003082},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.411947637796402},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.24782705307006836},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22455257177352905},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.09431320428848267},{"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","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},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2769458.2769463","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2769458.2769463","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5275783661","display_name":null,"funder_award_id":"FA8750-11-2-0065","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W120905807","https://openalex.org/W616429135","https://openalex.org/W1509600527","https://openalex.org/W1575092331","https://openalex.org/W1739274247","https://openalex.org/W1833620934","https://openalex.org/W1966644024","https://openalex.org/W1988078107","https://openalex.org/W1997967900","https://openalex.org/W2007019343","https://openalex.org/W2011278041","https://openalex.org/W2017710077","https://openalex.org/W2033196464","https://openalex.org/W2034297532","https://openalex.org/W2038130183","https://openalex.org/W2048714664","https://openalex.org/W2052776353","https://openalex.org/W2058148881","https://openalex.org/W2061388644","https://openalex.org/W2075943092","https://openalex.org/W2103214683","https://openalex.org/W2105024122","https://openalex.org/W2110019232","https://openalex.org/W2113679017","https://openalex.org/W2113876424","https://openalex.org/W2114956584","https://openalex.org/W2115451898","https://openalex.org/W2119959133","https://openalex.org/W2123483967","https://openalex.org/W2126409321","https://openalex.org/W2148023570","https://openalex.org/W2153188937","https://openalex.org/W2155214739","https://openalex.org/W2158882647","https://openalex.org/W2163918635","https://openalex.org/W2171182892","https://openalex.org/W2171587453","https://openalex.org/W2296636214","https://openalex.org/W2552350602","https://openalex.org/W2611950219","https://openalex.org/W2917524664","https://openalex.org/W4236051643","https://openalex.org/W4242084473","https://openalex.org/W4251185859","https://openalex.org/W6678144251"],"related_works":["https://openalex.org/W2909211499","https://openalex.org/W3119688974","https://openalex.org/W2060067973","https://openalex.org/W4321519815","https://openalex.org/W2762653771","https://openalex.org/W2946075430","https://openalex.org/W1967469573","https://openalex.org/W2285967966","https://openalex.org/W2329911060","https://openalex.org/W2912276428"],"abstract_inverted_index":{"Gate-level":[0],"circuit":[1],"simulation":[2,43,54,182],"is":[3,80,139,176],"an":[4,89,100,117,156,202],"important":[5],"step":[6,16],"in":[7],"the":[8,18,97,135,152,172],"design":[9],"and":[10,123],"validation":[11],"of":[12,17,82,92,144,162,201],"complex":[13],"circuits.":[14],"This":[15,45],"process":[19],"relies":[20],"on":[21,198],"existing":[22],"libraries":[23],"for":[24,34,75,88],"gate":[25,32,68,114],"specifications.":[26],"We":[27,58,132,189],"start":[28],"with":[29,155],"a":[30,40,61,66,72,107,124,140],"generic":[31,46],"model":[33,47,74,79,91,103,110,122,138,143,149,175],"Rensselaer's":[35],"Optimistic":[36],"Simulation":[37],"System":[38],"(ROSS),":[39],"parallel":[41],"discrete-event":[42],"framework.":[44],"encompasses":[48],"all":[49],"functionality":[50],"needed":[51,87],"by":[52],"optimistic":[53,181,192],"using":[55,195],"reverse":[56],"computation.":[57],"then":[59],"describe":[60],"parser":[62],"system":[63],"which":[64],"uses":[65],"standardized":[67],"library":[69,115,121,130],"to":[70,166,178],"create":[71],"specific":[73],"simulation.":[76,188],"The":[77,147],"generated":[78,102,119,137,148,174],"comprised":[81],"several":[83],"function":[84],"including":[85],"those":[86],"accurate":[90,142],"timing":[93,153],"behavior.":[94],"To":[95],"quantify":[96],"improvements":[98],"that":[99,134,171],"automatically":[101,118,136,173],"can":[104],"have":[105],"over":[106],"hand":[108],"written":[109],"we":[111,169],"compare":[112],"two":[113],"models:":[116],"LSI-10K":[120],"previously":[125],"investigated,":[126],"handwritten,":[127],"simplified":[128],"GTECH":[129],"model.":[131],"conclude":[133],"more":[141],"actual":[145],"hardware.":[146],"also":[150],"represents":[151],"behavior":[154],"approximately":[157],"50":[158],"times":[159],"higher":[160],"degree":[161],"fidelity.":[163],"In":[164],"comparison":[165],"previous":[167],"results,":[168],"find":[170],"able":[177],"achieve":[179],"better":[180],"performance":[183,193],"when":[184,194],"measured":[185],"against":[186],"conservative":[187],"identify":[190],"peak":[191],"128":[196],"MPI-Ranks":[197],"eight":[199],"nodes":[200],"IBM":[203],"Blue":[204],"Gene/Q":[205],"machine.":[206]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}