{"id":"https://openalex.org/W2736232279","doi":"https://doi.org/10.1109/smacd.2017.7981567","title":"Automated generation of system-level AMS operating condition checks: Your model's insurance policy","display_name":"Automated generation of system-level AMS operating condition checks: Your model's insurance policy","publication_year":2017,"publication_date":"2017-06-01","ids":{"openalex":"https://openalex.org/W2736232279","doi":"https://doi.org/10.1109/smacd.2017.7981567","mag":"2736232279"},"language":"en","primary_location":{"id":"doi:10.1109/smacd.2017.7981567","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smacd.2017.7981567","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 14th 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/A5102897374","display_name":"Georg Gl\u00e4ser","orcid":"https://orcid.org/0000-0002-7923-0284"},"institutions":[{"id":"https://openalex.org/I4210145956","display_name":"Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme","ror":"https://ror.org/0445d9h15","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210145956"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Georg Glaser","raw_affiliation_strings":["IMMS Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme gemeinn\u00fctzige GmbH Ilmenau, Germany"],"affiliations":[{"raw_affiliation_string":"IMMS Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme gemeinn\u00fctzige GmbH Ilmenau, Germany","institution_ids":["https://openalex.org/I4210145956"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014981669","display_name":"Martin Grabmann","orcid":"https://orcid.org/0000-0002-1839-8745"},"institutions":[{"id":"https://openalex.org/I4210145956","display_name":"Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme","ror":"https://ror.org/0445d9h15","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210145956"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Grabmann","raw_affiliation_strings":["IMMS Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme gemeinn\u00fctzige GmbH Ilmenau, Germany"],"affiliations":[{"raw_affiliation_string":"IMMS Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme gemeinn\u00fctzige GmbH Ilmenau, Germany","institution_ids":["https://openalex.org/I4210145956"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039212302","display_name":"Gerrit Kropp","orcid":null},"institutions":[{"id":"https://openalex.org/I4210145956","display_name":"Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme","ror":"https://ror.org/0445d9h15","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210145956"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gerrit Kropp","raw_affiliation_strings":["IMMS Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme gemeinn\u00fctzige GmbH Ilmenau, Germany"],"affiliations":[{"raw_affiliation_string":"IMMS Institut f\u00fcr Mikroelektronik- und Mechatronik-Systeme gemeinn\u00fctzige GmbH Ilmenau, Germany","institution_ids":["https://openalex.org/I4210145956"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062169703","display_name":"Andreas F\u00fcrtig","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":"Andreas Furtig","raw_affiliation_strings":["Institute for Computer Science, Goethe Universit\u00e4t Frankfurt a. M., Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Computer Science, Goethe Universit\u00e4t Frankfurt a. M., Germany","institution_ids":["https://openalex.org/I114090438"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5102897374"],"corresponding_institution_ids":["https://openalex.org/I4210145956"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09346351,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"12","issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9988999962806702,"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"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9988999962806702,"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.996399998664856,"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.9954000115394592,"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/computer-science","display_name":"Computer science","score":0.7490633726119995},{"id":"https://openalex.org/keywords/guard","display_name":"Guard (computer science)","score":0.7473747134208679},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3464171290397644},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12366241216659546},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0907769501209259}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7490633726119995},{"id":"https://openalex.org/C141141315","wikidata":"https://www.wikidata.org/wiki/Q2379942","display_name":"Guard (computer science)","level":2,"score":0.7473747134208679},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3464171290397644},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12366241216659546},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0907769501209259}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smacd.2017.7981567","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smacd.2017.7981567","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 14th 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":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"},{"id":"https://openalex.org/F4320327207","display_name":"Electronic Components and Systems for European Leadership","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W37827039","https://openalex.org/W643058322","https://openalex.org/W1886993084","https://openalex.org/W2101234009","https://openalex.org/W2153635508","https://openalex.org/W2767981801","https://openalex.org/W3143043686","https://openalex.org/W4230169210","https://openalex.org/W4230492182","https://openalex.org/W4236640323","https://openalex.org/W4252249350","https://openalex.org/W6639528364","https://openalex.org/W6675354045"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W4254637722","https://openalex.org/W2980401999","https://openalex.org/W3016483420","https://openalex.org/W2331628363","https://openalex.org/W2390279801","https://openalex.org/W2393030234","https://openalex.org/W2358668433","https://openalex.org/W3198851420"],"abstract_inverted_index":{"Analog/Mixed-Signal":[0],"(AMS)":[1],"design":[2,144],"and":[3,24],"verification":[4,46,100],"strongly":[5],"relies":[6],"on":[7,102],"more":[8],"or":[9],"less":[10],"abstract":[11,75],"models":[12],"to":[13,35,58,79,93],"make":[14],"extensive":[15],"simulations":[16],"feasible.":[17],"Maintaining":[18],"consistent":[19],"behavior":[20],"between":[21],"system":[22,103],"model":[23,42,62,76,115],"implementation":[25],"is":[26,116],"crucial":[27],"for":[28],"a":[29,37,55,61],"correct":[30],"verification.":[31],"Operating":[32],"conditions":[33],"have":[34],"be":[36,91,147],"major":[38],"concern:":[39],"A":[40],"faulty":[41],"might":[43],"introduce":[44,70],"false-positive":[45,137],"results":[47,101],"despite":[48],"of":[49,83,98,126,136],"erroneous":[50,99],"operating":[51,86],"conditions.":[52,87],"We":[53,69,105],"propose":[54],"novel":[56],"method":[57,89],"automatically":[59,117],"generate":[60],"safe-guard":[63],"unit":[64,72],"from":[65,123],"transistor-level":[66],"simulation":[67,138],"data.":[68],"this":[71],"into":[73],"an":[74,110,124],"in":[77],"VerilogAMS":[78],"check":[80],"the":[81,84,96,127,134,143],"validity":[82],"current":[85],"This":[88],"can":[90,146],"used":[92],"significantly":[94],"reduce":[95],"risk":[97,135,145],"level.":[104],"demonstrate":[106],"our":[107],"approach":[108],"using":[109],"RFID":[111],"demodulator":[112],"circuit.":[113],"The":[114],"augmented":[118],"with":[119],"additional":[120],"checks":[121],"derived":[122],"exploration":[125],"underlying":[128],"circuits'":[129],"parameter":[130],"space.":[131],"By":[132],"comparing":[133],"results,":[139],"we":[140],"prove":[141],"that":[142],"nearly":[148],"eliminated.":[149]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}