Design, Automation, and Test in Europe The Most Influential Papers of 10 Years Date

Co-design for System Acceleration A Quantitative Approach

Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design

Low Power Methodology Manual For System-on-Chip Design

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

System-Level Design Techniques for Energy-Efficient Embedded Systems

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II