{"id":"https://openalex.org/W2979304552","doi":"https://doi.org/10.1109/patmos.2019.8862165","title":"The Involution Tool for Accurate Digital Timingand Power Analysis","display_name":"The Involution Tool for Accurate Digital Timingand Power Analysis","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W2979304552","doi":"https://doi.org/10.1109/patmos.2019.8862165","mag":"2979304552"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/patmos.2019.8862165","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-02395242/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031729726","display_name":"Daniel \u00d6hlinger","orcid":"https://orcid.org/0000-0001-8097-3619"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Daniel Ohlinger","raw_affiliation_strings":["Institute of Computer Engineering [Vienna]"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Engineering [Vienna]","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109158696","display_name":"J\u00fcrgen Maier","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jurgen Maier","raw_affiliation_strings":["Institute of Computer Engineering [Vienna]"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Engineering [Vienna]","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049530550","display_name":"Matthias F\u00fcgger","orcid":null},"institutions":[{"id":"https://openalex.org/I4210103330","display_name":"\u00c9cole Normale Sup\u00e9rieure","ror":"https://ror.org/01dp7jr64","country_code":"BI","type":"education","lineage":["https://openalex.org/I4210103330"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210104198","display_name":"Laboratoire Sp\u00e9cification et V\u00e9rification","ror":"https://ror.org/01kz1bj67","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210104198","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]}],"countries":["BI","FR"],"is_corresponding":false,"raw_author_name":"Matthias Fugger","raw_affiliation_strings":["Centre National de la Recherche Scientifique","Ecole Normale Sup\u00e9rieure Paris-Saclay","Laboratoire Sp\u00e9cification et V\u00e9rification [Cachan]","Modeling and Exploitation of Interaction and Concurrency","Universit\u00e9 Paris-Saclay"],"affiliations":[{"raw_affiliation_string":"Ecole Normale Sup\u00e9rieure Paris-Saclay","institution_ids":["https://openalex.org/I4210103330","https://openalex.org/I11559806"]},{"raw_affiliation_string":"Centre National de la Recherche Scientifique","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Laboratoire Sp\u00e9cification et V\u00e9rification [Cachan]","institution_ids":["https://openalex.org/I4210104198"]},{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay","institution_ids":["https://openalex.org/I277688954"]},{"raw_affiliation_string":"Modeling and Exploitation of Interaction and Concurrency","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006249454","display_name":"Ulrich Schmid","orcid":"https://orcid.org/0000-0001-9831-8583"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ulrich Schmid","raw_affiliation_strings":["Institute of Computer Engineering [Vienna]"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Engineering [Vienna]","institution_ids":[]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":1,"citation_normalized_percentile":{"value":0.60915,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":61,"max":69},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":1.0,"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"}},{"id":"https://openalex.org/T11417","display_name":"Advancements in PLL and VCO Technologies","score":0.9998,"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"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9998,"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/spice","display_name":"Spice","score":0.6255741},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.58346224},{"id":"https://openalex.org/keywords/nand-logic","display_name":"NAND logic","score":0.46755588},{"id":"https://openalex.org/keywords/involution","display_name":"Involution (esoterism)","score":0.44137576},{"id":"https://openalex.org/keywords/power-analysis","display_name":"Power analysis","score":0.43776083}],"concepts":[{"id":"https://openalex.org/C124296912","wikidata":"https://www.wikidata.org/wiki/Q575178","display_name":"NAND gate","level":3,"score":0.7484532},{"id":"https://openalex.org/C2780077345","wikidata":"https://www.wikidata.org/wiki/Q16891888","display_name":"Spice","level":2,"score":0.6255741},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.60645294},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.58346224},{"id":"https://openalex.org/C81843906","wikidata":"https://www.wikidata.org/wiki/Q173156","display_name":"Digital electronics","level":3,"score":0.509634},{"id":"https://openalex.org/C11190779","wikidata":"https://www.wikidata.org/wiki/Q664575","display_name":"Inverter","level":3,"score":0.49289918},{"id":"https://openalex.org/C7234692","wikidata":"https://www.wikidata.org/wiki/Q4116068","display_name":"NAND logic","level":4,"score":0.46755588},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.4453439},{"id":"https://openalex.org/C2781409172","wikidata":"https://www.wikidata.org/wiki/Q17056802","display_name":"Involution (esoterism)","level":3,"score":0.44137576},{"id":"https://openalex.org/C71743495","wikidata":"https://www.wikidata.org/wiki/Q2845210","display_name":"Power analysis","level":3,"score":0.43776083},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.41059518},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.3738892},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32746202},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.2714244},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.21976975},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13552469},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.116274},{"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/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/patmos.2019.8862165","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-02395242","pdf_url":"https://inria.hal.science/hal-02395242/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-02395242/file/camrdy.pdf","pdf_url":"https://hal.inria.fr/hal-02395242/file/camrdy.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-02395242/document","pdf_url":"https://hal.inria.fr/hal-02395242/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://repositum.tuwien.ac.at/urn:nbn:at:at-ubtuw:3-10209","pdf_url":"https://repositum.tuwien.at/bitstream/20.500.12708/488/2/OEhlinger%20Daniel%20-%202019%20-%20The%20Involution%20Tool%20for%20Accurate%20Digital%20Timing%20and...pdf","source":{"id":"https://openalex.org/S4306400494","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":["TU Wien"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-02395242","pdf_url":"https://inria.hal.science/hal-02395242/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"score":0.54,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":12,"referenced_works":["https://openalex.org/W2023075074","https://openalex.org/W2038911285","https://openalex.org/W2054095206","https://openalex.org/W2080930200","https://openalex.org/W2096424065","https://openalex.org/W2103212706","https://openalex.org/W2275146865","https://openalex.org/W2283132580","https://openalex.org/W2586256972","https://openalex.org/W2793366120","https://openalex.org/W4232235098","https://openalex.org/W4237420654"],"related_works":["https://openalex.org/W4226330631","https://openalex.org/W2782113474","https://openalex.org/W2607556907","https://openalex.org/W2162444164","https://openalex.org/W2152527810","https://openalex.org/W2130440338","https://openalex.org/W2074010091","https://openalex.org/W1980808122","https://openalex.org/W188762367","https://openalex.org/W1017999001"],"abstract_inverted_index":{"We":[0,113],"introduce":[1],"the":[2,20,32,45,60,63,66,98,133,153,169,177,181,185,188,200,203],"prototype":[3],"of":[4,65,71,97,136,158,162,202],"a":[5,141],"digital":[6,41,174],"timing":[7,42,73,86,119,154],"simulation":[8],"and":[9,34,74,81,101,104,120,140,155,180],"power":[10,75,121,156],"analysis":[11,43,87,122],"tool":[12,54],"for":[13,59,124,176,210],"integrated":[14],"circuit":[15,143],"(Involution":[16],"Tool)":[17],"which":[18],"employs":[19],"involution":[21,46,99,163,204],"delay":[22],"model":[23,47,100],"introduced":[24],"by":[25,68,84,117,172],"Fugger":[26],"et":[27],"al.":[28],"at":[29],"DATE'15.":[30],"Unlike":[31],"pure":[33],"inertial":[35],"dela\u00ff":[36],"models":[37,164],"typically":[38],"used":[39],"in":[40,127],"tools,":[44],"faithfully":[48],"captures":[49],"pulse":[50],"propagation.":[51],"The":[52],"presented":[53],"is":[55,90,190],"able":[56],"to":[57],"quantify":[58],"first":[61],"time":[62],"accuracy":[64],"latter":[67],"facilitating":[69],"comparisons":[70],"its":[72,115],"predictions":[76,157,170],"with":[77],"both":[78,93],"SPICE-generated":[79],"results":[80,82,123],"achieved":[83],"standard":[85,173],"tools.":[88],"It":[89,149],"easily":[91],"customizable,":[92],"w.r.t.":[94],"different":[95,102],"instances":[96],"circuits,":[103],"supports":[105],"automatic":[106],"test":[107],"case":[108],"generation,":[109],"including":[110],"parameter":[111],"sweeping.":[112],"demonstrate":[114,208],"capabilities":[116],"providing":[118],"three":[125],"circuits":[126],"varying":[128],"technologies:":[129],"an":[130,137],"inverter":[131,178],"tree,":[132],"clock":[134,182],"tree":[135,179],"open-source":[138],"processor,":[139],"combinational":[142],"that":[144,152],"involves":[145],"multi-input":[146,211],"NAND":[147,186],"gates.":[148,212],"turns":[150],"out":[151],"two":[159],"natural":[160],"types":[161],"are":[165],"significantly":[166,194],"better":[167],"than":[168],"obtained":[171],"simulations":[175,197],"tree.":[183],"For":[184],"circuit,":[187],"performance":[189],"comparable":[191],"but":[192,206],"not":[193],"better.":[195],"Our":[196],"thus":[198],"confirm":[199],"benefits":[201],"model,":[205],"also":[207],"shortcomings":[209]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2979304552","counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2024-12-29T10:54:05.486128","created_date":"2019-10-18"}