1. Formal Design Flows for Embedded IoT Hardware;Components and Services for IoT Platforms;2016-09-24
2. Logic Synthesis;Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology;2016-04-14
3. Low Power Design with High-Level Power Estimation and Power-Aware Synthesis;2012
4. Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications;2010
5. Related Work;Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications;2010