Ditemukan 3 dokumen yang sesuai dengan query
Eggersgluß, Stephan, author
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault efficient SAT-based ATPG framework is presented which is also able to generate high-quality delay tests such as robust path delay...
New York: [, Springer], 2012
e20418663
eBooks Universitas Indonesia Library
Keszocze, Oliver, author
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...
Switzerland: Springer Cham, 2019
e20501363
eBooks Universitas Indonesia Library
Chandrasekharan, Arun, author
This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based...
Switzerland: Springer Cham, 2019
e20502847
eBooks Universitas Indonesia Library
