Leakage in Nanometer CMOS Technologies

Scalable Hardware Verification with Symbolic Simulation

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

Systemverilog for Verification A Guide to Learning the Testbench Language Features

Interconnect Noise Optimization in Nanometer Technologies

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

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

System-Level Design Techniques for Energy-Efficient Embedded Systems

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation