{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:07:09Z","timestamp":1725458829540},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1109\/ccece.2017.7946805","type":"proceedings-article","created":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:25:48Z","timestamp":1497979548000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Manifold 2.0: A hardware description language for microfluidic devices"],"prefix":"10.1109","author":[{"given":"Nicholas","family":"Klassen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Lyons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Prysiazny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Roth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Socha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murphy","family":"Berzish","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atulan","family":"Zaman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Derek","family":"Rayside","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2013.6509599"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0513"},{"key":"ref12","first-page":"154","author":"clarke","year":"2000","journal-title":"Counterexample-guided abstraction refinement"},{"journal-title":"Comsol multiphysics modelling software","year":"2016","key":"ref13"},{"journal-title":"An Introduction to the Finite Element Method","year":"2006","author":"reddy","key":"ref14"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263735"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449771"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91573"},{"journal-title":"Modelica","year":"2016","key":"ref8"},{"journal-title":"Maplesim-high performance phyical modelling and simulation","year":"2016","key":"ref7"},{"key":"ref2","article-title":"Manifold: An SMT-Based Declarative Language for Electronic and Microfluidic Design Synthesis","author":"berzish","year":"2016","journal-title":"Proc Centre for Advanced Studies Conf (CASCON)"},{"journal-title":"Introduction to VLSI Systems","year":"1980","author":"mead","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1126\/science.1076996"}],"event":{"name":"2017 IEEE 30th Canadian Conference on Electrical and Computer Engineering (CCECE)","start":{"date-parts":[[2017,4,30]]},"location":"Windsor, ON","end":{"date-parts":[[2017,5,3]]}},"container-title":["2017 IEEE 30th Canadian Conference on Electrical and Computer Engineering (CCECE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7938141\/7946583\/07946805.pdf?arnumber=7946805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,3]],"date-time":"2018-05-03T17:23:07Z","timestamp":1525368187000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7946805\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/ccece.2017.7946805","relation":{},"subject":[],"published":{"date-parts":[[2017,4]]}}}