Exact Design of Digital Microfluidic Biochips
This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps in a single process. All of the approaches discussed are based on a formal model that can easily be e...
| Main Authors: | Keszocze, Oliver (Author, http://id.loc.gov/vocabulary/relators/aut), Wille, Robert (http://id.loc.gov/vocabulary/relators/aut), Drechsler, Rolf (http://id.loc.gov/vocabulary/relators/aut) |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
| Edition: | 1st ed. 2019. |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by: Przigoda, Nils, et al.
Published: (2018) -
Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
by: Chandrasekharan, Arun, et al.
Published: (2019) -
Multi-run Memory Tests for Pattern Sensitive Faults
by: Mrozek, Ireneusz, et al.
Published: (2019) -
Post-Silicon Validation and Debug
Published: (2019) -
Approximate Circuits Methodologies and CAD /
Published: (2019)