Sciweavers

12 search results - page 3 / 3
» Synthesis of Low-Power Selectively-Clocked Systems from High...
Sort
View
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
13 years 8 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
VLSID
2003
IEEE
147views VLSI» more  VLSID 2003»
14 years 5 months ago
SoC Synthesis with Automatic Hardware Software Interface Generation
Design of efficient System-on-Chips (SoCs) require thorough application analysis to identify various compute intensive parts. These compute intensive parts can be mapped to hardwa...
Amarjeet Singh 0002, Amit Chhabra, Anup Gangwar, B...