Design Automation of Electronic Systems (TODAES)


Search Issue
enter search term and/or author name


ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 15 Issue 3, May 2010

Race analysis for systemc using model checking
Nicolas Blanc, Daniel Kroening
Article No.: 21
DOI: 10.1145/1754405.1754406

SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems at different levels of abstraction. The SystemC standard permits simulators to implement a deterministic scheduling policy, which often...

Concept-based partitioning for large multidomain multifunctional embedded systems
Waseem Ahmed, Douglas Myers
Article No.: 22
DOI: 10.1145/1754405.1754407

Hardware-software partitioning is an important phase in embedded systems. Decisions made during this phase impact the quality, cost, performance, and the delivery date of the final product. Over the past decade or more, various partitioning...

Low-power TinyOS tuned processor platform for wireless sensor network motes
R. K. Raval, C. H. Fernandez, C. J. Bleakley
Article No.: 23
DOI: 10.1145/1754405.1754408

In this article we describe a low-power processor platform for use in Wireless Sensor Network (WSN) nodes (motes). WSN motes are small, battery-powered devices comprised of a processor, sensors, and a radio frequency transceiver. It is expected...

Register file partitioning and recompilation for register file power reduction
Xuan Guan, Yunsi Fei
Article No.: 24
DOI: 10.1145/1754405.1754409

Register files in modern embedded processors contribute a substantial budget in the energy consumption due to their large switching capacitance and long working time. For some embedded processors, on average 25% of registers account for...

On-chip sensor-driven efficient thermal profile estimation algorithms
Yufu Zhang, Ankur Srivastava, Mohamed Zahran
Article No.: 25
DOI: 10.1145/1754405.1754410

This article addresses the problem of chip-level thermal profile estimation using runtime temperature sensor readings. We address the challenges of: (a) availability of only a few thermal sensors with constrained locations (sensors cannot be...

Logic synthesis and circuit customization using extensive external don't-cares
Kai-Hui Chang, Valeria Bertacco, Igor L. Markov, Alan Mishchenko
Article No.: 26
DOI: 10.1145/1754405.1754411

Traditional digital circuit synthesis flows start from an HDL behavioral definition and assume that circuit functions are almost completely defined, making don't-care conditions rare. However, recent design methodologies do not always satisfy...

Effective congestion reduction for IC package substrate routing
Shenghua Liu, Guoqiang Chen, Tom Tong Jing, Lei He, Robi Dutta, Xian-Long Hong
Article No.: 27
DOI: 10.1145/1754405.1754412

Off-chip substrate routing for high-density packages is challenging due to requirements such as high density, lack of vertical detour, non-Manhattan routing, and primarily planar routing. The existing substrate routing algorithms often result in a...