(12月4日增加3本)【Springer丛书系列】SERIES ON INTEGRATED CIRCUITS AND SYSTEMS

benemale · 发表于 2007-12-1 21:14:05

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

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

x

除了SERIES ON INTEGRATED CIRCUITS AND SYSTEMS系列以外，还有几本关于SoC的书，一起贴上。

先贴出这套丛书的2005年后的目录，大部分书都在模拟版 http://www.eetop.cn/bbs/thread-86549-1-1.html 里面，

这里只贴第1、8、11、12本，大家先看看吧。

SERIES ON INTEGRATED CIRCUITS AND SYSTEMS
Anantha Chandrakasan, Editor
Massachusetts Institute of Technology
Cambridge, Massachusetts, USA

Published books in the series:

1.SAT-Based Scalable Formal Verification Solutions
Malay Ganai and Aarti Gupta
2007, ISBN 978-0-387-69166-4

2.Ultra-Low Voltage Nano-Scale Memories
Kiyoo Itoh, Masashi Horiguchi, and Hitoshi Tanaka
2007, ISBN 978-0-387-33398-4

3.Routing Congestion in VLSI Circuits: Estimation and Optimization
Prashant Saxena, Rupesh S. Shelar, and Sachin S. Sapatnekar
2007, ISBN 978-0-387-30037-5

4.Ultra-Low Power Wireless Technologies for Sensor Networks
Brian Otis and Jan Rabaey
2007, ISBN 978-0-387-30930-9

5.Sub-threshold Design for Ultra Low-Power Systems
Alice Wang, Benton H. Calhoun, and Anantha Chandrakasan
2006, ISBN 0-387-33515-3

6.High Performance Energy Efficient Microprocessor Design
Vojin Oklibdzija and Ram Krishnamurthy (Eds.)
2006, ISBN 0-387-28594-6

7.Abstraction Refinement for Large Scale Model Checking
Chao Wang, Gary D. Hachtel, and Fabio Somenzi
2006, ISBN 0-387-28594-6

8.A Practical Introduction to PSL
Cindy Eisner and Dana Fisman
2006, ISBN 0-387-35313-5

9.Thermal and Power Management of Integrated Circuits
Arman Vassighi and Manoj Sachdev
2006, ISBN 0-398-25762-4

10.Leakage in Nanometer CMOS Technologies
Siva G. Narendra and Anantha Chandrakasan
2005, ISBN 0-387-25737-3

11.A Practical Guide for SystemVerilog Assertions
Srikanth Vijayaraghavan and Meyyappan Ramanathan
2005, ISBN 0-387-26049-8

12.Statistical Analysis and Optimization for VLSI: Timing and Power
Ashish Srivastava, Dennis Sylvester and David Blaauw
2005, ISBN 0-387-25738-1

1.SAT-Based Scalable Formal Verification Solutions
Malay Ganai and Aarti Gupta

[M.Ganai]SAT-Based Scalable Formal Verification Solutions.part1.rar (2.76 MB, 下载次数: 877 )

[M.Ganai]SAT-Based Scalable Formal Verification Solutions.part2.rar (2.63 MB, 下载次数: 953 )

SAT-Based Scalable Formal Verification Solutions.jpg

8.A Practical Introduction to PSL
Cindy Eisner and Dana Fisman

[C.Eisner]A Practical Introduction to PSL.pdf (1.54 MB, 下载次数: 850 )

11.A Practical Guide for SystemVerilog Assertions
Srikanth Vijayaraghavan and Meyyappan Ramanathan

[M.Ramanathan]A Practical Guide for SystemVerilog Assertions.part1.rar (3.34 MB, 下载次数: 1036 )

[M.Ramanathan]A Practical Guide for SystemVerilog Assertions.part2.rar (3.34 MB, 下载次数: 1011 )

[M.Ramanathan]A Practical Guide for SystemVerilog Assertions.part3.rar (3.15 MB, 下载次数: 956 )

A Practical Guide for SystemVerilog Assertions.jpg

12.Statistical Analysis and Optimization for VLSI: Timing and Power
Ashish Srivastava, Dennis Sylvester and David Blaauw

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

benemale · 发表于 2007-12-1 21:16:30

Design of Systems on a Chip: Design and Test

Edited by
Ricardo Reis
Federal University of Rio Grande do Sul
Marcelo Lubaszewski
Federal University of Rio Grande do Sul
and
Jochen A.G. Jess
Eidhoven University of Technology

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

benemale · 发表于 2007-12-1 21:17:39

Essential Issues in SoC Design - Designing Complex Systems-on-Chip

Edited by
Youn-Long Steve Lin
National Tsing Hua University, Taiwan

[ 本帖最后由 benemale 于 2007-12-3 01:18 编辑 ]

benemale · 发表于 2007-12-1 21:18:56

Springer Series in ADVANCED MICROELECTRONICS
System-level Test and Validation of HardwareSoftware Systems

by
M. Sonza Reorda Z. Peng M. Violante (Eds.)

System-level Test and Validation of HardwareSoftware Systems.jpg

[M S.Reorda]System-level Test and Validation of HardwareSoftware Systems.pdf (1.73 MB, 下载次数: 765 )

Springer 2007 —— Compiling Esterel

by
Dumitru Potop-Butucaru Stephen A. Edwards G´erard Berry

[ 本帖最后由 benemale 于 2007-12-4 14:47 编辑 ]

benemale · 发表于 2007-12-1 21:20:15

Embedded Systems – Modeling, Technology, and Applications
Proceedings of the 7th International Workshop held at Technische Universität Berlin, June 26/27, 2006

Edited by
GÜNTER HOMMEL
Technische Universität Berlin
Berlin, Germany

and

SHENG HUANYE
Shanghai Jiao Tong University
Shanghai, China

[ 本帖最后由 benemale 于 2007-12-3 01:01 编辑 ]

benemale · 发表于 2007-12-1 21:21:40

FRONTIERS IN ELECTRONIC TESTING
Consulting Editor
Vishwani D. Agrawal

Fault-Tolerance Techniques for SRAM-based FPGAs

by
FERNANDALIMA KASTENSMIDT
UFRGS, Instituto de Informatica, Porto Alegre, Brazil

LUIGI CARRO
UFRGS, Departamento de Engenharia Eletrica, Porto Alegre, Brazil

and

RICARDO REIS
UFRGS, Instituto de Informatica, Porto Alegre, Brazil

[ 本帖最后由 benemale 于 2007-12-3 01:16 编辑 ]

benemale · 发表于 2007-12-1 21:22:49

Low Power Methodology Manual
For System-on-Chip Design

Edited by
Michael Keating
David Flynn
Robert Aitken
Alan Gibbons
Kaijian Shi
Low Power Methodology Manual For System-on-Chip Design.jpg

Low Power Methodology Manual For System-on-Chip Design.jpg

[M.Keating]Low Power Methodology Manual For System-on-Chip Design.rar (3.41 MB, 下载次数: 904 )

KLUWER ACADEMIC PUBLISHERS
Interconnect-Centric Design for Advanced SoC and NoC

Edited by
Jari Nurmi
Tampere University of Technology,
Finland

Hannu Tenhunen
Royal Institute of Technology,
Sweden

Jouni Isoaho
University of Turku,
Finland

and

Axel Jantsch
Royal Institute of Technology,
Sweden

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

denap · 发表于 2007-12-1 23:23:58

THanks for sharing!!

foy · 发表于 2007-12-1 23:35:25

A Practical Guide for SystemVerilog Assertions
这本是有翻译版的那本吧？
很好，多谢楼主分享

LAS.xs · 发表于 2007-12-1 23:36:43

ding!

(12月4日增加3本)【Springer丛书系列】SERIES ON INTEGRATED CIRCUITS AND SYSTEMS

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

相关帖子

站长推荐 /1