This paper describes B# (B-sharp), a programmable power supply that emulates the behavior of a battery. It measures the current load, calls a battery simulation program to compute the voltage in real time, and control...
详细信息
ISBN:
(纸本)158113682X
This paper describes B# (B-sharp), a programmable power supply that emulates the behavior of a battery. It measures the current load, calls a battery simulation program to compute the voltage in real time, and controls a linear regulator to mimic the voltage output of a battery. This instrument enables validation of battery-aware power-optimization techniques with accurate, controllable, reproducible results. This instrument also supports training mode with actual batteries, and it can even be used for recording and playback of a solar power source. This design has been prototyped and tested on hand-held devices with high accuracy and fast response time.
In this paper we formally define an operational semantics framework RTL+ +for modeling behavioral RTL hardware IP. The semantics we define is neutral to existing HDLs and extends traditional sense RTL by natively supp...
详细信息
AmbiMax is an energy harvesting circuit and a supercapacitor based energy storage system for wireless sensor nodes (WSN). Previous WSNs attempt to harvest energy from various sources, and some also use supercapacitors...
详细信息
Real-world wireless sensing applications pose a number of great challenges on low-power hardware/software platform designs, including a wide range of size, cost, power consumption, connectivity, performance, and flexi...
详细信息
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design exploration. While real time operating...
详细信息
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the usage of TLMs in the existing design doma...
详细信息
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the usage of TLMs in the existing design domains, namely modeling, validation, refinement, exploration, and synthesis, is not well coordinated. This paper introduces a TLM taxonomy and compares the benefits of TLMs' use.
We describe V-SAT, a tool for performing design space exploration of System-On-Chip (SOC) architectures. The key components of V-SAT include EXPRESSION, a language for specification of the architecture, SIMPRESS, a si...
详细信息
In this paper we formally define an enhanced RTL semantics. This is intended to elevate the RTL design abstraction level and help bridge the HDL semantic gap among synthesis, simulation and formal verification tools. ...
详细信息
ISBN:
(纸本)0769522882
In this paper we formally define an enhanced RTL semantics. This is intended to elevate the RTL design abstraction level and help bridge the HDL semantic gap among synthesis, simulation and formal verification tools. We define the enhanced semantics based on a new RTL++ language that supports pipelined operations using a new pipelined register variable concept. The execution semantics of RTL++ is specified in a structural operational semantics style aimed to form the basis for related simulation and formal verification algorithm, development. A RFSM model is defined to support natively the synthesis semantics of RTL++. We also present an example of extending SystemC to support the notion of pipelined register variable.
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact with the external workload. However, the...
详细信息
ISBN:
(纸本)9781581136883
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact with the external workload. However, the energy savings are ultimately limited by the set of power-saving modes available to the power manager. This paper exposes new power-saving opportunities to existing system-level power managers by handling each desired mode change in terms of an optimal sequence of mode transitions involving multiple components. We employ algorithms to optimize these transition sequences in polynomial time, making them applicable to static and dynamic policies. The decoupling between policies and mechanisms also makes this approach modular and scalable to devices with complex modes and intricate dependencies on other devices in the system. Experimental results show significant energy savings due to these sequentialized mode-change opportunities that would otherwise be difficult to discover manually even by experienced designers.
Eco is an ultra-compact wireless sensor node. Only 648 mm3 in volume and weighing under 1.6 grams, Eco was initially designed to monitor the spontaneous motion of preterm infants over 2.4GHz radio links at the maximum...
详细信息
暂无评论