Automatic Validation and Design of Microfluidic Devices Following the ISO 22916 Standard
Sprache des Vortragstitels:
Englisch
Original Tagungtitel:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
Microfluidics is an emerging technology for manipulating small amounts of fluids for analytic purposes. Microfluidic devices, so-called Labs-on-Chip (LoC), have found widespread applications in medicine, biology, and chemistry. In contrast to other fields, verification and design automation methods for microfluidic chips are not yet as developed due to a lack of common standards. However, recently, there have been new developments with the introduction of the ISO 22916:2022 standard, which contains specifications for microfluidic components and interfaces. In this work, we propose a methodology that, for the first time, enables automatic validation of microfluidic chip designs against place and route constraints in the context of this ISO standard. To this end, we utilize solvers for Satisfiability Modulo Theories (SMT). The resulting approach does not only validate the ISO-compliance of a given design but also provides tool support for the completion of the design. The applicability and feasibility of the proposed solution are demonstrated in a case study inspired by real-world use cases. An open-source implementation of the resulting tool is available at https://github.com/cda-tum/mmft-iso-designer.
Forschungs-