{"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":{"id":"doi:10.1109/patmos.2019.8862165","doi":"https://doi.org/10.1109/patmos.2019.8862165","is_oa":false,"landing_page_url":"https://doi.org/10.1109/patmos.2019.8862165","pdf_url":null,"source":{"id":"https://openalex.org/S7407086037","display_name":"International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repositum.tuwien.ac.at/urn:nbn:at:at-ubtuw:3-10209","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","observed_orcids":["https://orcid.org/0000-0001-8097-3619"]},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Daniel Ohlinger","raw_affiliation_strings":["ECS Group, TU, Wien","Institute of Computer Engineering [Vienna]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ECS Group, TU, Wien","institution_ids":["https://openalex.org/I145847075"]},{"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":"https://orcid.org/0000-0002-0965-5746","observed_orcids":["https://orcid.org/0000-0002-0965-5746"]},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Jurgen Maier","raw_affiliation_strings":["ECS Group, TU, Wien","Institute of Computer Engineering [Vienna]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ECS Group, TU, Wien","institution_ids":["https://openalex.org/I145847075"]},{"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":"https://orcid.org/0000-0001-5765-0301","observed_orcids":["https://orcid.org/0000-0001-5765-0301"]},"institutions":[{"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/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/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"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"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Matthias Fugger","raw_affiliation_strings":["CNRS & LSV, ENS Paris-Saclay, Universit\u00e9 Paris-Saclay & Inria","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"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS & LSV, ENS Paris-Saclay, Universit\u00e9 Paris-Saclay & Inria","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954"]},{"raw_affiliation_string":"Centre National de la Recherche Scientifique","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Ecole Normale Sup\u00e9rieure  Paris-Saclay","institution_ids":["https://openalex.org/I11559806"]},{"raw_affiliation_string":"Laboratoire Sp\u00e9cification et V\u00e9rification [Cachan]","institution_ids":["https://openalex.org/I4210104198"]},{"raw_affiliation_string":"Modeling and Exploitation of Interaction and Concurrency","institution_ids":[]},{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay","institution_ids":["https://openalex.org/I277688954"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006249454","display_name":"Ulrich Schmid","orcid":"https://orcid.org/0000-0001-9831-8583","observed_orcids":["https://orcid.org/0000-0001-9831-8583"]},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Ulrich Schmid","raw_affiliation_strings":["ECS Group, TU, Wien","Institute of Computer Engineering [Vienna]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ECS Group, TU, Wien","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institute of Computer Engineering [Vienna]","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1852,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.71487463,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":"40","issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9560999870300293,"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":0.9560999870300293,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.03009999915957451,"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/T10142","display_name":"Formal Methods in Verification","score":0.002099999925121665,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/power-analysis","display_name":"power analysis","score":0.7889999747276306},{"id":"https://openalex.org/keywords/pulse-propagation","display_name":"pulse propagation","score":0.8460000157356262},{"id":"https://openalex.org/keywords/integrated-circuit-design","display_name":"integrated circuit design","score":0.38499999046325684},{"id":"https://openalex.org/keywords/automatic-test-case-generation","display_name":"automatic test case generation","score":0.746999979019165},{"id":"https://openalex.org/keywords/parameter-sweeping","display_name":"parameter sweeping","score":0.8820000290870667},{"id":"https://openalex.org/keywords/clock-tree","display_name":"clock tree","score":0.9769999980926514},{"id":"https://openalex.org/keywords/spice-comparison","display_name":"SPICE comparison","score":0.6230000257492065}],"concepts":[{"id":"https://openalex.org/C124296912","wikidata":"https://www.wikidata.org/wiki/Q575178","display_name":"NAND gate","level":3,"score":0.7484531998634338},{"id":"https://openalex.org/C2780077345","wikidata":"https://www.wikidata.org/wiki/Q16891888","display_name":"Spice","level":2,"score":0.6255741119384766},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6064529418945312},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.5834622383117676},{"id":"https://openalex.org/C81843906","wikidata":"https://www.wikidata.org/wiki/Q173156","display_name":"Digital electronics","level":3,"score":0.5096340179443359},{"id":"https://openalex.org/C11190779","wikidata":"https://www.wikidata.org/wiki/Q664575","display_name":"Inverter","level":3,"score":0.49289917945861816},{"id":"https://openalex.org/C7234692","wikidata":"https://www.wikidata.org/wiki/Q4116068","display_name":"NAND logic","level":4,"score":0.4675558805465698},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.44534391164779663},{"id":"https://openalex.org/C2781409172","wikidata":"https://www.wikidata.org/wiki/Q17056802","display_name":"Involution (esoterism)","level":3,"score":0.4413757622241974},{"id":"https://openalex.org/C71743495","wikidata":"https://www.wikidata.org/wiki/Q2845210","display_name":"Power analysis","level":3,"score":0.4377608299255371},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.410595178604126},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.3738892078399658},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32746201753616333},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.27142441272735596},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.21976974606513977},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1355246901512146},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.11627399921417236},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"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/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/patmos.2019.8862165","doi":"https://doi.org/10.1109/patmos.2019.8862165","is_oa":false,"landing_page_url":"https://doi.org/10.1109/patmos.2019.8862165","pdf_url":null,"source":{"id":"https://openalex.org/S7407086037","display_name":"International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS)","raw_type":"proceedings-article"},{"id":"pmh:oai:repositum.tuwien.ac.at:5123413","doi":null,"is_oa":false,"landing_page_url":"https://repositum.tuwien.ac.at/doi/10.1109/PATMOS.2019.8862165","pdf_url":null,"source":{"id":"https://openalex.org/S4306400493","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"BookPart"},{"id":"pmh:oai:repositum.tuwien.at:20.500.12708/488","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12708/488","pdf_url":"https://repositum.tuwien.ac.at/urn:nbn:at:at-ubtuw:3-10209","source":{"id":"https://openalex.org/S4306400493","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2019 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS)","raw_type":"http://purl.org/coar/resource_type/c_5794"},{"id":"pmh:oai:HAL:hal-02395242v1","doi":null,"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-02395242","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"PATMOS 2019 - 29th International Symposium on Power and Timing Modeling, Optimization and Simulation, Jul 2019, Rhodes, Greece. ⟨10.1109/PATMOS.2019.8862165⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:repositum.tuwien.at:20.500.12708/488","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12708/488","pdf_url":"https://repositum.tuwien.ac.at/urn:nbn:at:at-ubtuw:3-10209","source":{"id":"https://openalex.org/S4306400493","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2019 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS)","raw_type":"http://purl.org/coar/resource_type/c_5794"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G3999109442","display_name":"FoRmal mEthods for the Design of Distributed Algorithms","funder_award_id":"ANR-17-CE40-0013","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2979304552.pdf","grobid_xml":"https://content.openalex.org/works/W2979304552.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W2011576292","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/W4237420654"],"related_works":["https://openalex.org/W3207398603","https://openalex.org/W2798549741","https://openalex.org/W4416959510","https://openalex.org/W2160132950","https://openalex.org/W2286746803","https://openalex.org/W2038911285","https://openalex.org/W4411725381","https://openalex.org/W3142438682","https://openalex.org/W2144812464","https://openalex.org/W4389166718"],"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]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2019-10-18T00:00:00"}