{"id":"https://openalex.org/W4401070614","doi":"https://doi.org/10.1109/tcad.2024.3435706","title":"Vespa: Logic-Level Constraint-Based Validation for Continuous-Flow Microfluidic Devices","display_name":"Vespa: Logic-Level Constraint-Based Validation for Continuous-Flow Microfluidic Devices","publication_year":2024,"publication_date":"2024-07-29","ids":{"openalex":"https://openalex.org/W4401070614","doi":"https://doi.org/10.1109/tcad.2024.3435706"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2024.3435706","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3435706","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1109/tcad.2024.3435706","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011947528","display_name":"Yangruirui Zhou","orcid":"https://orcid.org/0009-0005-6113-2589"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yangruirui Zhou","raw_affiliation_strings":["Electrical and Computer Engineering Department, Boston University, Boston, MA, USA"],"raw_orcid":"https://orcid.org/0009-0005-6113-2589","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038008485","display_name":"Samuel M. D. Oliveira","orcid":"https://orcid.org/0000-0002-6914-5529"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samuel M. D. Oliveira","raw_affiliation_strings":["Electrical and Computer Engineering Department, Boston University, Boston, MA, USA"],"raw_orcid":"https://orcid.org/0000-0002-6914-5529","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084553863","display_name":"Radhakrishna Sanka","orcid":"https://orcid.org/0000-0001-5518-9697"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Radhakrishna Sanka","raw_affiliation_strings":["Electrical and Computer Engineering Department, Boston University, Boston, MA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042507322","display_name":"David McIntyre","orcid":"https://orcid.org/0000-0003-3508-4139"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David McIntyre","raw_affiliation_strings":["Biomedical Engineering Department, Boston University, Boston, MA, USA"],"raw_orcid":"https://orcid.org/0000-0003-3508-4139","affiliations":[{"raw_affiliation_string":"Biomedical Engineering Department, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006554658","display_name":"Douglas Densmore","orcid":"https://orcid.org/0000-0002-7666-6808"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Douglas Densmore","raw_affiliation_strings":["Electrical and Computer Engineering Department and the Biomedical Engineering Department, Boston University, Boston, MA, USA","Electrical and Computer Engineering Department, Boston University, Boston, MA, USA","Biomedical Engineering Department, Boston University, Boston, MA, USA"],"raw_orcid":"https://orcid.org/0000-0002-7666-6808","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department and the Biomedical Engineering Department, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]},{"raw_affiliation_string":"Electrical and Computer Engineering Department, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]},{"raw_affiliation_string":"Biomedical Engineering Department, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3656,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.58730592,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"44","issue":"2","first_page":"483","last_page":"496"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12452","display_name":"Electrowetting and Microfluidic Technologies","score":0.9896000027656555,"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/T12452","display_name":"Electrowetting and Microfluidic Technologies","score":0.9896000027656555,"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/T11407","display_name":"Innovative Microfluidic and Catalytic Techniques Innovation","score":0.9890000224113464,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical 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/T10412","display_name":"Microfluidic and Capillary Electrophoresis Applications","score":0.9470999836921692,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical 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.6811959743499756},{"id":"https://openalex.org/keywords/microfluidics","display_name":"Microfluidics","score":0.5555044412612915},{"id":"https://openalex.org/keywords/netlist","display_name":"Netlist","score":0.4564083516597748},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4293765723705292},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4260748624801636},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4079627990722656},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3233473300933838},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.26980388164520264},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19048479199409485},{"id":"https://openalex.org/keywords/nanotechnology","display_name":"Nanotechnology","score":0.11487239599227905}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6811959743499756},{"id":"https://openalex.org/C8673954","wikidata":"https://www.wikidata.org/wiki/Q138845","display_name":"Microfluidics","level":2,"score":0.5555044412612915},{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.4564083516597748},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4293765723705292},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4260748624801636},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4079627990722656},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3233473300933838},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.26980388164520264},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19048479199409485},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.11487239599227905},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"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/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2024.3435706","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3435706","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":{"id":"doi:10.1109/tcad.2024.3435706","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3435706","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4216402773","display_name":"SemiSynBio-II: Hybrid Bio-Electronic Microfluidic Memory Arrays for Large Scale Testing and Remote Deployment","funder_award_id":"2027045","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5882147033","display_name":"Collaborative Research: Model-guided design of bacterial interspecies interactions and trans-organismic communication in living intercellular circuits","funder_award_id":"2211040","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W2013468828","https://openalex.org/W2019313637","https://openalex.org/W2028712328","https://openalex.org/W2070855802","https://openalex.org/W2071311642","https://openalex.org/W2080416055","https://openalex.org/W2101234060","https://openalex.org/W2102212449","https://openalex.org/W2118464978","https://openalex.org/W2132022337","https://openalex.org/W2133925579","https://openalex.org/W2168567259","https://openalex.org/W2169528473","https://openalex.org/W2170358592","https://openalex.org/W2604625854","https://openalex.org/W2613909344","https://openalex.org/W2770448154","https://openalex.org/W2805555983","https://openalex.org/W2900087109","https://openalex.org/W2949626172","https://openalex.org/W2982233466","https://openalex.org/W2997776955","https://openalex.org/W2998227659","https://openalex.org/W3092767198","https://openalex.org/W3204652934","https://openalex.org/W4205506001","https://openalex.org/W4294588936","https://openalex.org/W4362717777","https://openalex.org/W4389166720","https://openalex.org/W6631943480","https://openalex.org/W6640375315","https://openalex.org/W6704955705","https://openalex.org/W6861879963"],"related_works":["https://openalex.org/W2170314243","https://openalex.org/W2119179026","https://openalex.org/W2794947590","https://openalex.org/W2114971758","https://openalex.org/W2109932036","https://openalex.org/W2093081283","https://openalex.org/W4313118781","https://openalex.org/W2354546390","https://openalex.org/W2159172546","https://openalex.org/W1553384690"],"abstract_inverted_index":{"Continuous-Flow":[0],"Microfluidic":[1],"Devices":[2],"(CFMDs),":[3],"also":[4],"known":[5],"as":[6,115],"biochips,":[7],"provide":[8],"automated":[9],"and":[10,35,69,112,143,155,188,201,227],"cost-effective":[11],"solutions":[12],"for":[13,52,63,140,185],"biomolecular":[14],"analysis":[15],"in":[16,46,59,158,165],"life":[17],"science":[18],"applications.":[19],"Multi-operation":[20],"biochemical":[21],"reactions":[22],"require":[23],"incorporating":[24],"microfluidic":[25,64],"components":[26],"into":[27,190],"CFMDs,":[28],"which":[29],"may":[30],"raise":[31],"their":[32],"design":[33,110,193],"complexity":[34,160],"lead":[36],"to":[37,90,162,196],"Design-Objective-Constraint":[38],"Compatibility":[39],"(DOCC)":[40],"conflicts.":[41],"Existing":[42],"validation":[43,84,187],"methods":[44],"excel":[45],"optimizing":[47],"Control-Layer":[48],"Pressurization":[49],"Protocol":[50],"(CLPP)":[51],"small":[53],"networks.":[54],"However,":[55],"they":[56],"face":[57],"challenges":[58],"describing":[60],"operation":[61,92],"constraints":[62,93,142],"large-scale":[65],"integration":[66,189],"(mLSI)":[67],"experiments":[68,176],"addressing":[70],"the":[71,119,166],"undesired":[72,133,146],"flow":[73,134,147],"risk.":[74],"To":[75],"overcome":[76],"these":[77],"challenges,":[78],"we":[79,204],"develop":[80],"Vespa,":[81],"an":[82,103,132],"open-source":[83],"framework":[85],"that":[86,214],"uses":[87],"logic":[88],"expressions":[89],"describe":[91],"with":[94],"lower":[95],"human":[96],"labor":[97],"costs.":[98],"For":[99],"each":[100],"operation,":[101],"taking":[102],"objective":[104],"list,":[105,108],"a":[106,109,113,123,169,209],"constraint":[107],"netlist,":[111],"super-parameter":[114],"inputs,":[116],"Vespa":[117,184,215],"validates":[118],"DOCC":[120],"by":[121,224],"constructing":[122],"target":[124],"fluid":[125,145],"transportation":[126],"path.":[127],"In":[128],"addition,":[129],"it":[130],"introduces":[131],"risk":[135],"mitigation":[136],"mechanism,":[137],"issuing":[138],"warnings":[139],"incorrect":[141],"potential":[144],"risks.":[148],"The":[149],"work":[150],"includes":[151],"over":[152,217],"900":[153],"real-world":[154,202,210],"synthetic":[156],"benchmarks":[157],"three":[159],"ranges":[161],"support":[163],"researchers":[164],"field.":[167],"As":[168],"result,":[170],"more":[171],"than":[172],"85%":[173],"of":[174,219],"benchmark":[175],"yield":[177],"correct":[178],"results":[179],"within":[180],"0.3":[181],"seconds,":[182],"enabling":[183],"real-time":[186],"interactive":[191],"CFMD":[192],"tools.":[194],"Finally,":[195],"show":[197],"Vespa\u2019s":[198],"practical":[199],"efficacy":[200],"impact,":[203],"create":[205],"case":[206],"studies":[207],"using":[208],"CFMD.":[211],"We":[212],"demonstrate":[213],"eliminates":[216],"90%":[218],"DOCC-related":[220],"wet":[221],"lab":[222],"tests":[223],"detecting":[225],"issues":[226],"making":[228],"updates":[229],"before":[230],"fabrication.":[231]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-22T08:00:12.763002","created_date":"2025-10-10T00:00:00"}