Directed Placement for mVLSI Devices

Continuous-flow microfluidic devices based on integrated channel networks are becoming increasingly prevalent in research in the biological sciences. At present, these devices are physically laid out by hand by domain experts who understand both the underlying technology and the biological functions that will execute on fabricated devices. The lack of a design science that is specific to microfluidic technology creates a substantial barrier to entry. To address this concern, this article introduces Directed Placement, a physical design algorithm that leverages the natural "directedness" in most modern microfluidic designs: fluid enters at designated inputs, flows through a linear or tree-based network of channels and fluidic components, and exits the device at dedicated outputs. Directed placement creates physical layouts that share many principle similarities to those created by domain experts. Directed placement allows components to be placed closer to their neighbors compared to existing layout algorithms based on planar graph embedding or simulated annealing, leading to an average reduction in laid-out fluid channel length of 91% while improving area utilization by 8% on average. Directed placement is compatible with both passive and active microfluidic devices and is compatible with a variety of mainstream manufacturing technologies

Using printer ink color to control the behavior of paper microfluidics.

Paper microfluidic devices (including lateral flow assays) offer an excellent combination of utility and low cost. Many paper microfluidic devices are fabricated using the Xerox ColorQube line of commercial wax-based color printers; the wax ink serves as a hydrophobic barrier to fluid flow. These printers are capable of depositing four different colors of ink, cyan (C), magenta (M), yellow (Y), and black (K), plus 11 combinations of these colors (CM, CY, CK, MY, MK, YK, CMY, CMK, CYK, MYK, and CMYK), although most researchers use only black ink to print paper microfluidic devices. Recently, as part of a project to develop a computer-aided design framework for use with paper microfluidics devices, we unexpectedly observed that different colors of wax ink behave differently in paper microfluidics. We found that among the single colors of ink, black ink actually had the most barrier failures, and magenta ink had the fewest barrier failures. In addition, some combinations of colors performed even better than magenta: the combinations CY, MK, YK, CMY, CYK and MYK had no barrier failures in our study. We also found that the printer delivers significantly different amounts of ink to the paper for the different color combinations, and in general, the color combinations that formed the strongest barriers to fluid flow were the ones that had the most ink delivered to the paper. This suggests that by simply weighing paper samples printed with all 15 combinations of colors, one can easily find the color combinations most likely to form a strong barrier for a given printer. Finally, to show that deliberate choices of ink colors can actually be used to create new functions in paper microfluidics, we designed and tested a new color-based "antifuse" structure that protects paper microfluidic devices from a typical operator error (addition of too much fluid to the device). Our results provide a set of color choice guidelines that designers can use to control the behavior of their paper microfluidics

BioScript: programming safe chemistry on laboratories-on-a-chip

This paper introduces BioScript, a domain-specific language (DSL) for programmable biochemistry which executes on emerging microfluidic platforms. The goal of this research is to provide a simple, intuitive, and type-safe DSL that is accessible to life science practitioners. The novel feature of the language is its syntax, which aims to optimize human readability; the technical contributions of the paper include the BioScript type system and relevant portions of its compiler. The type system ensures that certain types of errors, specific to biochemistry, do not occur, including the interaction of chemicals that may be unsafe. The compiler includes novel optimizations that place biochemical operations to execute concurrently on a spatial 2D array platform on the granularity of a control flow graph, as opposed to individual basic blocks. Results are obtained using both a cycle-accurate microfluidic simulator and a software interface to a real-world platform

Standardizing design performance comparison in microfluidic manufacturing

Microfluidic devices published in literature today lack sufficient information for automating the physical design process. Moreover, the constantly changing landscape of manufacturing and technological requirements poses a large problem in the physical design automation space. In this talk, we discuss some of the methodologies and standards formulated by CIDAR at BU and CARES at UC Riverside that allow not only allow the researchers in the physical design automation space to share and compare their results but also provide means for capturing the Specify, Design and Build lifecycle in microfluidic design

Chronoprints: Identifying Samples by Visualizing How They Change over Space and Time.

The modern tools of chemistry excel at identifying a sample, but the cost, size, complexity, and power consumption of these instruments often preclude their use in resource-limited settings. In this work, we demonstrate a simple and low-cost method for identifying a sample based on visualizing how the sample changes over space and time in response to a perturbation. Different types of perturbations could be used, and in this proof-of-concept we use a dynamic temperature gradient that rapidly cools different parts of the sample at different rates. We accomplish this by first loading several samples into long parallel channels on a "microfluidic thermometer chip." We then immerse one end of the chip in liquid nitrogen to create a dynamic temperature gradient along the channels, and we use an inexpensive USB microscope to record a video of how the samples respond to the changing temperature gradient. The video is then converted into several bitmap images (one per sample) that capture each sample's response to the perturbation in both space (the y-axis; the distance along the dynamic temperature gradient) and time (the x-axis); we call these images "chronological fingerprints" or "chronoprints" of each sample. If two samples' chronoprints are similar, this suggests that the samples are the same chemical substance or mixture, but if two samples' chronoprints are significantly different, this proves that the samples are chemically different. Since chronoprints are just bitmap images, they can be compared using a variety of techniques from computer science, and in this work we use three different image comparison algorithms to quantify chronoprint similarity. As a demonstration of the versatility of chronoprints, we use them in three different applications: distinguishing authentic olive oil from adulterated oil (an example of the over $10 billion global problem of food fraud), identifying adulterated or counterfeit medication (which represents around 10% of all medication in low- and middle-income countries), and distinguishing the occasionally confused pharmaceutical ingredients glycerol and diethylene glycol (whose accidental or intentional substitution has led to hundreds of deaths). The simplicity and versatility of chronoprints should make them valuable analytical tools in a variety of different fields

Optimistic chordal coloring: a coalescing heuristic forSSAform programs

The interference graph for a procedure in Static Single Assignment (SSA) Form is chordal. Since the k-colorability problem can be solved in polynomial-time for chordal graphs, this result has generated interest in SSA-based heuristics for spilling and coalescing. Since copies can be folded during SSA construction, instances of the coalescing problem under SSA have fewer affinities than traditional methods. This paper presents Optimistic Chordal Coloring (OCC), a coalescing heuristic for chordal graphs. OCC was evaluated on interference graphs from embedded/multimedia benchmarks: in all cases, OCC found the optimal solution, and ran, on average, 2.30× faster than Iterated Register Coalescin