Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

lotusky · 发表于 2010-8-23 22:02:31

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

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

x

登录/注册后可看大图

[size=120%]Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
By Gaurav Singh, Sandeep K. Shukla

Publisher: Springer
Number Of Pages: 240
Publication Date: 2010-08-01
ISBN-10 / ASIN: 1441964800
ISBN-13 / EAN: 9781441964809

Product Description:
This book introduces novel techniques for generating low-power hardware from a high-level description of a design in terms of Concurrent Action-Oriented Specifications (CAOS). It also describes novel techniques for formal verification of such designs. It will provide the readers with definitions of various power optimization and formal verification problems related to CAOS-based synthesis, necessary background concepts, techniques to generate hardware according to the design’s power requirements, and detailed experimental results obtained by applying the techniques introduced on realistic hardware designs.

qptom · 发表于 2010-8-23 22:14:46

thanks!

dram · 发表于 2010-8-23 22:32:25

Thanks for sharing!

hyperpicc · 发表于 2010-8-23 22:41:56

thanks

zh123456789 · 发表于 2010-8-24 10:48:35

谢谢，牛逼

apteye · 发表于 2010-8-24 11:51:35

thanks

risccpu · 发表于 2010-8-24 13:22:27

good, thanks.

vikingg · 发表于 2010-8-24 13:36:19

谢谢分享

zlhrsy · 发表于 2010-8-24 15:55:22

tks a lot

fixit · 发表于 2010-8-24 22:03:47

thanks

[原创] Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

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

相关帖子

站长推荐 /3