New design flows require reducing work at the gate level and performing most activities before the synthesis step, including evaluation of testability of circuits. We propose a suite of RT-level benchmarks that help improve research in high-level ATPG tools. First results on the benchmarks obtained with our prototype tool show the feasibility of the approach

IEEE TRANSACTIONS ON COMPUTER AIDED DESIG

Intelligent management of energy consumption is one of the key issues for future energy distribution systems, smart buildings, and consumer appliances. The problem can be tackled both from the point of view of the utility provider, with the intelligence embedded in the smart grid, or from the point of view of the consumer, thanks to suitable local energy management systems (EMS). Conserving energy, however, should respect the user requirements regarding the desired state of the environment, therefore an EMS should constantly and intelligently find the balance between user requirements and energy saving. The paper proposes a solution to this problem, based on explicit high-level modeling of user intentions and automatic control of device states through the solution and optimization of a constrained Boolean satisfiability problem. The proposed approach has been integrated into a smart environment framework, and promising preliminary results are reported.

Buildings account for a relevant fraction of the energy consumed by a country, up to 20-40% of the yearly energy consumption. If only electricity is considered, the fraction is even bigger, reaching around 73% of the total electricity consumption, equally divided into residential and commercial dwellings. Building and Home Automation have a potential to profoundly impact current and future buildings' energy efficiency by informing users about their current consumption patterns, by suggesting more efficient behaviors, and by pro-actively changing/modifying user actions for reducing the associated energy wastes. In this paper we investigate the capability of an automated home to automatically, and timely, inform users about energy consumption, by harvesting opinions of residential inhabitants on energy feedback interfaces. We report here the results of an on-line survey, involving nearly a thousand participants, about feedback mechanisms suggested by the research community, with the goal of understanding what feedback is felt by home inhabitants easier to understand, more likely to be used, and more effective in promoting behavior changes. Contextually, we also collect and distill users' attitude towards in-home energy displays and their preferred locations, gathering useful insights on user-driven design of more effective in-home energy display