{"id":"https://openalex.org/W4283705915","doi":"https://doi.org/10.1109/isqed54688.2022.9806273","title":"Functional Level Abstraction and Simulation of Verilog-AMS Piecewise Linear Models","display_name":"Functional Level Abstraction and Simulation of Verilog-AMS Piecewise Linear Models","publication_year":2022,"publication_date":"2022-04-06","ids":{"openalex":"https://openalex.org/W4283705915","doi":"https://doi.org/10.1109/isqed54688.2022.9806273"},"language":"en","primary_location":{"id":"doi:10.1109/isqed54688.2022.9806273","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isqed54688.2022.9806273","pdf_url":null,"source":{"id":"https://openalex.org/S4363607671","display_name":"2022 23rd International Symposium on Quality Electronic Design (ISQED)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"2022 23rd International Symposium on Quality Electronic Design (ISQED)","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/A5035992445","display_name":"Sadia Azam","orcid":"https://orcid.org/0000-0003-0480-4607"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Sadia Azam","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036512005","display_name":"Nicola Dall\u2019Ora","orcid":"https://orcid.org/0000-0003-0656-9786"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Nicola Dall'Ora","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068919830","display_name":"Enrico Fraccaroli","orcid":"https://orcid.org/0000-0002-9739-6501"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Enrico Fraccaroli","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040302302","display_name":"Franco Fummi","orcid":"https://orcid.org/0000-0002-4404-5791"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Fummi","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5035992445"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":0.3205,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.35974017,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"39","last_page":"44"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9983999729156494,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9983999729156494,"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9959999918937683,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9948999881744385,"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/computer-science","display_name":"Computer science","score":0.7191038131713867},{"id":"https://openalex.org/keywords/piecewise-linear-function","display_name":"Piecewise linear function","score":0.6084556579589844},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5912104845046997},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5155243873596191},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4885483682155609},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.44197148084640503},{"id":"https://openalex.org/keywords/linear-equation","display_name":"Linear equation","score":0.4282306134700775},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34328585863113403},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19144439697265625}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7191038131713867},{"id":"https://openalex.org/C17095337","wikidata":"https://www.wikidata.org/wiki/Q2375229","display_name":"Piecewise linear function","level":2,"score":0.6084556579589844},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5912104845046997},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5155243873596191},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4885483682155609},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.44197148084640503},{"id":"https://openalex.org/C77346573","wikidata":"https://www.wikidata.org/wiki/Q484637","display_name":"Linear equation","level":2,"score":0.4282306134700775},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34328585863113403},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19144439697265625},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isqed54688.2022.9806273","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isqed54688.2022.9806273","pdf_url":null,"source":{"id":"https://openalex.org/S4363607671","display_name":"2022 23rd International Symposium on Quality Electronic Design (ISQED)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"2022 23rd International Symposium on Quality Electronic Design (ISQED)","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":19,"referenced_works":["https://openalex.org/W566385658","https://openalex.org/W1546490615","https://openalex.org/W1988568250","https://openalex.org/W2005669273","https://openalex.org/W2061217545","https://openalex.org/W2071925271","https://openalex.org/W2102622811","https://openalex.org/W2104520397","https://openalex.org/W2115067613","https://openalex.org/W2129189285","https://openalex.org/W2139588292","https://openalex.org/W2145369007","https://openalex.org/W2163273273","https://openalex.org/W2548566911","https://openalex.org/W2603064927","https://openalex.org/W2616765985","https://openalex.org/W2622072046","https://openalex.org/W2945593694","https://openalex.org/W6736339276"],"related_works":["https://openalex.org/W2901773673","https://openalex.org/W2133366228","https://openalex.org/W1970202043","https://openalex.org/W2743650898","https://openalex.org/W2142607709","https://openalex.org/W619846577","https://openalex.org/W4309988886","https://openalex.org/W288746350","https://openalex.org/W2897083210","https://openalex.org/W2340874463"],"abstract_inverted_index":{"In":[0,48],"electronic":[1],"design":[2],"and":[3,29,37,58,175,182],"testing,":[4],"the":[5,14,32,45,131,157,161,184,189,192,195,199,209,218,221],"simulation":[6,15],"speed":[7],"of":[8,16,107,191,198,220],"analog":[9,33],"components":[10,18,34],"is":[11,40,84,111,141,148,202,211],"crucial.":[12],"Moreover,":[13,208],"heterogeneous":[17],"embedded":[19],"in":[20],"a":[21,94,105,152,205,214],"Virtual":[22],"Platforms":[23],"(VP)":[24],"needs":[25],"to":[26,43,76,85,113,119,127,129,150,160,180,187,216],"be":[27,168],"fast":[28],"accurate.":[30],"Often,":[31],"are":[35,56,62,71,178],"non-linear,":[36],"simulating":[38,53],"them":[39,92],"not":[41],"easy":[42],"ensure":[44],"model's":[46],"convergence.":[47],"this":[49,133,145],"context,":[50],"techniques":[51,100],"for":[52,67,138],"linear":[54,96,108],"circuits":[55],"stable":[57],"efficient,":[59],"but":[60],"there":[61],"still":[63],"many":[64],"research":[65],"gaps":[66],"non-linear":[68,78,88,102],"circuits.":[69],"There":[70],"no":[72],"systematic":[73],"methods":[74],"available":[75],"solve":[77,86],"equations":[79,89],"efficiently.":[80],"One":[81],"standard":[82],"method":[83],"these":[87],"by":[90],"describing":[91],"as":[93],"piecewise":[95,153],"(PWL)":[97],"models.":[98],"PWL":[99,139],"approximate":[101],"functions":[103],"with":[104,156],"set":[106],"functions.":[109],"This":[110],"common":[112],"most":[114],"solver":[115],"methods:":[116],"they":[117],"linearize":[118],"compute":[120],"an":[121,135],"inverse":[122],"matrix,":[123],"finding":[124],"which":[125],"direction":[126],"move":[128],"satisfy":[130],"equations.In":[132],"article,":[134],"abstraction":[136],"methodology":[137],"models":[140,166],"proposed.":[142],"By":[143],"using":[144],"methodology,":[146],"it":[147],"possible":[149],"abstract":[151],"model":[154,177,197],"described":[155],"Verilog-AMS":[158],"language":[159],"C++":[162,165],"language.":[163],"These":[164],"can":[167],"integrated":[169,203,212],"into":[170,204,213],"VPs.":[171],"A":[172],"half-wave":[173,200],"rectifier":[174,201],"memristor":[176],"selected":[179],"explain":[181],"validate":[183],"methodology.":[185],"Furthermore,":[186],"show":[188,217],"effectiveness":[190,219],"proposed":[193],"technique,":[194],"abstracted":[196],"MEMS":[206],"accelerometer.":[207],"accelerometer":[210],"VP":[215],"functional":[222],"simulation.":[223]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-25T13:04:00.132906","created_date":"2025-10-10T00:00:00"}
