{"id":"https://openalex.org/W2752037999","doi":"https://doi.org/10.1109/tcad.2017.2748002","title":"High-Level Asynchronous Concepts at the Interface Between Analog and Digital Worlds","display_name":"High-Level Asynchronous Concepts at the Interface Between Analog and Digital Worlds","publication_year":2017,"publication_date":"2017-09-01","ids":{"openalex":"https://openalex.org/W2752037999","doi":"https://doi.org/10.1109/tcad.2017.2748002","mag":"2752037999"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2017.2748002","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2017.2748002","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-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/A5047938394","display_name":"Jonathan Beaumont","orcid":"https://orcid.org/0000-0002-1217-8725"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jonathan Beaumont","raw_affiliation_strings":["School of Engineering, Newcastle University, Newcastle upon Tyne, U.K"],"raw_orcid":"https://orcid.org/0000-0002-1217-8725","affiliations":[{"raw_affiliation_string":"School of Engineering, Newcastle University, Newcastle upon Tyne, U.K","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041019594","display_name":"Andrey Mokhov","orcid":"https://orcid.org/0000-0002-2493-3177"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Andrey Mokhov","raw_affiliation_strings":["School of Engineering, Newcastle University, Newcastle upon Tyne, U.K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Engineering, Newcastle University, Newcastle upon Tyne, U.K","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015272875","display_name":"Danil Sokolov","orcid":"https://orcid.org/0000-0002-4030-0089"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Danil Sokolov","raw_affiliation_strings":["School of Engineering, Newcastle University, Newcastle upon Tyne, U.K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Engineering, Newcastle University, Newcastle upon Tyne, U.K","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029446985","display_name":"Alex Yakovlev","orcid":"https://orcid.org/0000-0003-0826-9330"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alex Yakovlev","raw_affiliation_strings":["School of Engineering, Newcastle University, Newcastle upon Tyne, U.K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Engineering, Newcastle University, Newcastle upon Tyne, U.K","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I84884186"],"apc_list":null,"apc_paid":null,"fwci":0.4224,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.64784536,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"37","issue":"1","first_page":"61","last_page":"74"},"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.9987999796867371,"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.9987999796867371,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9984999895095825,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9945999979972839,"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/asynchronous-communication","display_name":"Asynchronous communication","score":0.8288341164588928},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.6635655164718628},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5609202980995178},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3336554169654846},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.16123494505882263},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.0830661952495575}],"concepts":[{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.8288341164588928},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.6635655164718628},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5609202980995178},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3336554169654846},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.16123494505882263},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0830661952495575},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2017.2748002","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2017.2748002","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5899999737739563}],"awards":[{"id":"https://openalex.org/G6143952702","display_name":null,"funder_award_id":"EP/L025507/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320006","display_name":"Royal Society","ror":"https://ror.org/03wnrjx87"},{"id":"https://openalex.org/F4320320295","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W53550045","https://openalex.org/W142217541","https://openalex.org/W149082927","https://openalex.org/W1491226430","https://openalex.org/W1554812212","https://openalex.org/W1565620212","https://openalex.org/W1585465727","https://openalex.org/W2026049208","https://openalex.org/W2029005287","https://openalex.org/W2035560780","https://openalex.org/W2049600101","https://openalex.org/W2081228985","https://openalex.org/W2128939050","https://openalex.org/W2130317847","https://openalex.org/W2130434989","https://openalex.org/W2143446142","https://openalex.org/W2150872535","https://openalex.org/W2151709434","https://openalex.org/W2160249188","https://openalex.org/W2171142125","https://openalex.org/W2221168811","https://openalex.org/W2344570310","https://openalex.org/W2487142227","https://openalex.org/W2680592554","https://openalex.org/W2698419463","https://openalex.org/W2751199924","https://openalex.org/W2912549026","https://openalex.org/W4210887498","https://openalex.org/W4211171470","https://openalex.org/W6629326351","https://openalex.org/W6633282629","https://openalex.org/W6739532470","https://openalex.org/W7062389935"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2116677773","https://openalex.org/W2155261584","https://openalex.org/W2584231425","https://openalex.org/W2390279801","https://openalex.org/W2150611273","https://openalex.org/W4207086172","https://openalex.org/W2358668433","https://openalex.org/W2042919702","https://openalex.org/W4225981436"],"abstract_inverted_index":{"Asynchronous":[0],"circuits":[1,50],"are":[2,72],"becoming":[3],"increasingly":[4],"important":[5],"in":[6,154,179],"system":[7,152],"design":[8,135,170,174],"for":[9,61,78,96,126,169],"Internet":[10],"of":[11,48,83,106,150,157,189],"Things,":[12],"where":[13],"they":[14],"orchestrate":[15],"the":[16,24,75,148,155,187],"interface":[17],"between":[18],"big":[19],"synchronous":[20,133],"computation":[21],"components":[22],"and":[23,31,41,81,115,119,132,141,161,183],"analog":[25],"environment,":[26],"which":[27,99],"is":[28,54,100,145,176,184],"inherently":[29],"asynchronous":[30,49,62,84,97,107,131,191],"has":[32],"high":[33],"uncertainty":[34],"with":[35],"respect":[36],"to":[37,124,146,162,186],"power":[38,192],"supply,":[39],"temperature,":[40],"long-term":[42],"aging":[43],"effects.":[44],"However,":[45],"wide":[46],"adoption":[47],"by":[51,56,74,117,129],"industrial":[52],"users":[53],"hindered":[55],"a":[57,91,158,167],"steep":[58],"learning":[59],"curve":[60],"control":[63],"models,":[64],"such":[65,138],"as":[66,139,166],"signal":[67],"transition":[68],"graphs":[69],"(STGs),":[70],"that":[71,110],"developed":[73],"academic":[76],"community":[77],"specification,":[79,160],"verification,":[80],"synthesis":[82],"circuits.":[85],"In":[86],"this":[87],"paper,":[88],"we":[89],"introduce":[90],"novel":[92],"high-level":[93],"description":[94],"language":[95],"circuits,":[98],"based":[101],"on":[102],"behavioral":[103,164],"concepts-high-level":[104],"descriptions":[105],"circuit":[108],"requirements,":[109],"can":[111,120],"be":[112,121],"shared,":[113],"reused,":[114],"extended":[116],"users,":[118],"automatically":[122],"translated":[123],"STGs":[125],"further":[127],"processing":[128],"conventional":[130],"electronic":[134],"automation":[136],"tools,":[137],"Petrify":[140],"Mpsat.":[142],"Our":[143],"aim":[144],"simplify":[147],"process":[149],"capturing":[151],"requirements":[153],"form":[156],"formal":[159],"promote":[163],"concepts":[165],"means":[168],"reuse.":[171],"The":[172],"proposed":[173],"flow":[175],"fully":[177],"automated":[178],"open-source":[180],"toolsuite":[181],"Workcraft,":[182],"applied":[185],"development":[188],"an":[190],"regulator.":[193]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}