{"id":"https://openalex.org/W2967793284","doi":"https://doi.org/10.1109/smacd.2019.8795271","title":"Automatic Modeling of Transistor Level Circuits by Hybrid Systems with Parameter Variable Matrices","display_name":"Automatic Modeling of Transistor Level Circuits by Hybrid Systems with Parameter Variable Matrices","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W2967793284","doi":"https://doi.org/10.1109/smacd.2019.8795271","mag":"2967793284"},"language":"en","primary_location":{"id":"doi:10.1109/smacd.2019.8795271","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smacd.2019.8795271","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 16th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)","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/A5024739565","display_name":"Ahmad Tarraf","orcid":"https://orcid.org/0000-0002-9174-5598"},"institutions":[{"id":"https://openalex.org/I114090438","display_name":"Goethe University Frankfurt","ror":"https://ror.org/04cvxnb49","country_code":"DE","type":"education","lineage":["https://openalex.org/I114090438"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ahmad Tarraf","raw_affiliation_strings":["Institute for Computer Science, Goethe University, Frankfurt, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Computer Science, Goethe University, Frankfurt, Germany","institution_ids":["https://openalex.org/I114090438"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038049766","display_name":"Lars Hedrich","orcid":null},"institutions":[{"id":"https://openalex.org/I114090438","display_name":"Goethe University Frankfurt","ror":"https://ror.org/04cvxnb49","country_code":"DE","type":"education","lineage":["https://openalex.org/I114090438"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lars Hedrich","raw_affiliation_strings":["Institute for Computer Science, Goethe University, Frankfurt, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Computer Science, Goethe University, Frankfurt, Germany","institution_ids":["https://openalex.org/I114090438"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5024739565"],"corresponding_institution_ids":["https://openalex.org/I114090438"],"apc_list":null,"apc_paid":null,"fwci":0.1192,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.45688666,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"133","last_page":"136"},"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.9994999766349792,"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.9994999766349792,"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.9990000128746033,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9990000128746033,"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/netlist","display_name":"Netlist","score":0.8960557579994202},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.604479193687439},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.580906331539154},{"id":"https://openalex.org/keywords/transistor","display_name":"Transistor","score":0.5754722356796265},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.5553954243659973},{"id":"https://openalex.org/keywords/matrix","display_name":"Matrix (chemical analysis)","score":0.4797881245613098},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.44597744941711426},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4445023834705353},{"id":"https://openalex.org/keywords/spice","display_name":"Spice","score":0.4434090852737427},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.4342951774597168},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3614283800125122},{"id":"https://openalex.org/keywords/electronic-engineering","display_name":"Electronic engineering","score":0.2695850729942322},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14590510725975037},{"id":"https://openalex.org/keywords/voltage","display_name":"Voltage","score":0.1250639259815216},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.12417083978652954},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.10556310415267944}],"concepts":[{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.8960557579994202},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.604479193687439},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.580906331539154},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.5754722356796265},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5553954243659973},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.4797881245613098},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.44597744941711426},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4445023834705353},{"id":"https://openalex.org/C2780077345","wikidata":"https://www.wikidata.org/wiki/Q16891888","display_name":"Spice","level":2,"score":0.4434090852737427},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.4342951774597168},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3614283800125122},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.2695850729942322},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14590510725975037},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.1250639259815216},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.12417083978652954},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.10556310415267944},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"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/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.0},{"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smacd.2019.8795271","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smacd.2019.8795271","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 16th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W2028924344","https://openalex.org/W2047080991","https://openalex.org/W2116358561","https://openalex.org/W2138751967","https://openalex.org/W2139759413","https://openalex.org/W2171786655","https://openalex.org/W2522513585","https://openalex.org/W2576277975","https://openalex.org/W2801015021","https://openalex.org/W3152377782","https://openalex.org/W6731923558"],"related_works":["https://openalex.org/W2059921766","https://openalex.org/W2635078874","https://openalex.org/W2118595685","https://openalex.org/W2906510835","https://openalex.org/W2033048318","https://openalex.org/W2151588966","https://openalex.org/W1987748258","https://openalex.org/W2056087093","https://openalex.org/W2149951745","https://openalex.org/W1755172272","https://openalex.org/W2132794416","https://openalex.org/W2042958261","https://openalex.org/W2081109882","https://openalex.org/W2347771973","https://openalex.org/W2118011844","https://openalex.org/W2184317970","https://openalex.org/W2045097738","https://openalex.org/W2081804337","https://openalex.org/W2729656747","https://openalex.org/W3186301167"],"abstract_inverted_index":{"Model":[0],"abstraction":[1],"of":[2,41,44,96,105],"transistor-level":[3],"circuits,":[4],"while":[5],"preserving":[6],"an":[7,12,18,64,103],"accurate":[8],"behavior,":[9],"is":[10,20,35,47,74,116],"still":[11],"open":[13],"problem.":[14],"In":[15],"this":[16],"paper":[17],"approach":[19,77],"presented":[21],"that":[22,70],"automatically":[23],"generates":[24],"a":[25,50,55,80,106],"hybrid":[26],"automaton":[27],"(HA)":[28],"with":[29,49,79,85],"linear":[30],"states.":[31],"The":[32,76],"resulting":[33],"HA":[34,46],"used":[36],"for":[37],"reachability":[38],"analysis.":[39],"Each":[40],"the":[42,45,71,92,97],"locations":[43],"modeled":[48],"system":[51,72,93],"matrix":[52,56],"described":[53],"as":[54],"zonotope":[57],"or":[58],"interval":[59],"matrix.":[60],"This":[61],"leads":[62],"to":[63],"acceptable":[65],"over":[66],"approximation,":[67],"but":[68],"guarantees":[69],"behavior":[73,115],"covered.":[75],"starts":[78],"netlist":[81],"at":[82,91],"transistor":[83],"level":[84,94],"full":[86],"SPICE":[87],"accuracy":[88],"and":[89,111],"ends":[90],"description":[95],"circuit.":[98],"To":[99],"illustrate":[100],"our":[101],"methodology,":[102],"example":[104],"circuit":[107],"containing":[108],"complex":[109],"poles":[110],"strong":[112],"nonlinear":[113],"limiting":[114],"analyzed.":[117]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}