Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

RTL hardware design using VHDL coding for efficiency, portability, and scalability

Performance evaluation and benchmarking

Digital logic and microprocessor design with VHDL

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers

Integrated Circuit Test Engineering Modern Techniques

Hard Disk Drive Servo Systems

Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business

Systemverilog for Verification A Guide to Learning the Testbench Language Features

Leakage in Nanometer CMOS Technologies

Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications