Search results for: Michael S. Hsiao
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Abstraction > 81-96
Lecture Notes in Computer Science > Power-Aware Computer Systems > Power-Aware Architecture/Microarchitecture > 33-52
Advanced Techniques in Logic Synthesis, Optimizations and Applications > Boolean Satisfiability > 149-170