Titlebook: Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications; Gaurav Singh,Sandeep K. Shukla Book 2010 Springer Science+Bus

簡(jiǎn)略

978-1-4899-8702-0Springer Science+Business Media, LLC 2010

使腐爛

Gaurav Singh,Sandeep K. ShuklaPresents detailed analysis of various power optimization problems associated with high-level synthesis, as well as novel techniques for reducing power consumption of hardware designs at higher level o

魔鬼在游行

http://image.papertrans.cn/l/image/588798.jpg

Intruder

https://doi.org/10.1007/978-1-4419-6481-6CAOS; Circuit Design; Concurrent Action-Oriented Specifications; Embedded Systems; Formal Verification; H

Crater

Related Work, designs at a level of abstraction above RTL. Hardware descriptions written using such HDLs are passed as inputs to high-level synthesis tools to generate the RTL code. Below, we briefly discuss some of the high-level specification languages and corresponding synthesis tools used in the industry and academia.

關(guān)心