♂三味书屋：发书庆祝元旦庆祝奥运2008 ♀

benemale · 发表于 2007-12-16 14:25:26

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

先声明一下，我发书的时间非常有限，希望大家把前15楼让给我，先别回贴好吗，谢谢了~~~~~~~

另外我也没多少时间查看这些书有没有重复，如果大家发现有重复而且是最大附件的帖子，可以把链接附上，

我会把附件删掉把链接替换过来，谢谢了~~~~~

这个帖子只是个书店，不是什么精华贴，大家就跟逛书店一样，看到合适就下载，不合适就略过好了，

我只希望某些书对大家或许有点用处，不要期望太高哈~~~~~~~

HARDWARE VERIFICATION WITH C++: A Practitioner’s Handbook —————— Springer 2006
by
Mike Mintz
Robert Ekendahl

Hardware Verification with Systemverilog:An Object-Oriented Framework—————— Springer 2007
by
Mike Mintz
Robert Ekendahl

[ 本帖最后由 benemale 于 2008-1-1 12:04 编辑 ]

benemale · 发表于 2007-12-16 14:27:10

Advanced Memory Optimization Techniques for Low-Power Embedded Processors —————— Springer 2007
By
Manish Verma
Altera European Technology Center, High Wycombe, UK
and
Peter Marwedel
University of Dortmund, Germany

Optimized ASIP Synthesis from Architecture Description Language Models —————— Springer 2007
By
OLIVER SCHLIEBUSCH
CoWare Inc, Aachen, Germany
HEINRICH MEYR
RWTH Aachen University, Germany
and
RAINER LEUPERS
RWTH Aachen University, Germany

[ 本帖最后由 benemale 于 2007-12-31 11:20 编辑 ]

benemale · 发表于 2007-12-16 14:29:04

Assertion-Based Design, Second Edition —————— Springer 2005
By
Harry Foster
Jasper Design Automation, Inc.
Adam Krolnik
LSI Logic Corporation.
and
David Lacey
Hewlett-Packard Company

Designing Embedded Processors: A Low Power Perspective—————— Springer 2007
By
J. HENKEL
University of Karlsruhe,
Germany
and
S. PARAMESWARAN
University of South Wales,
NSW, Australia

Processor Design: System-on-Chip Computing for ASICs and FPGAs—————— Springer 2007
By
Jari Nurmi
Tampere University of Technology
Finland

[ 本帖最后由 benemale 于 2007-12-31 11:28 编辑 ]

benemale · 发表于 2007-12-16 14:30:12

VLSI-Design of Non-Volatile Memories[color] —————— Springer 2005
By
Giovanni Campardo
Rino Micheloni
STMicroelectronics Srl
Memory Product Groups
Flash Division
and
David Novosel
IMD Intelligent
Micro Design, Inc.

VLSI-SoC: From Systems to Chips[color] —————— Springer 2006
By
Manfred Glesner
Technische Universitat, Darmstadt, DE
and
Ricardo Reis
UniversJdade Federal do Rio Grande do Sul, BRb]
etc

[ 本帖最后由 benemale 于 2007-12-31 11:35 编辑 ]

benemale · 发表于 2007-12-16 14:32:20

Advanced Formal Verification —————— Kluwer 2004
By
Rolf Drechsler
University of Bremen,
Germany
and

Metric- Driven Design VerificationAn Engineer’s and Executive’s Guide
to First Pass Success —————— Springer 2007
By
Hamilton B. Carter
Cadence Design Systems, Inc.
San Jose, CA
USA
and
Shankar Hemmady
Cadence Design Systems, Inc.
San Jose, CA
USA

[ 本帖最后由 benemale 于 2008-6-5 15:11 编辑 ]

benemale · 发表于 2007-12-16 14:33:33

SystemVerilog For Design, Second EditionAn A Guide to Using SystemVerilog
for Hardware Design and Modeling —————— Springer 2006
By
Stuart Sutherland
Simon Davidmann
Peter Flake
Foreword by Phil Moorby

Systemverilog for VerificationA Guide to Learning the Testbench Language Features —————— Springer 2006
By
Chris Spear
Synopsys, Inc.
377 Simarano Drive
Marlboro, MA 01752

[ 本帖最后由 benemale 于 2007-12-31 11:53 编辑 ]