ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 14

Volume 14, Number 1, January 2009

• Joachim Keinert, Martin Streubühr, Thomas Schlichter, Joachim Falk, Jens Gladigau, Christian Haubelt, Jürgen Teich, Michael Meredith:
  SystemCoDesigner—an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications.
  Electronic Edition (ACM DL) BibTeX
• Andreas Hansson, Kees Goossens, Marco Bekooij, Jos Huisken:
  CoMPSoC: A template for composable and predictable multi-processor system on chips.
  Electronic Edition (ACM DL) BibTeX
• Stefan Valentin Gheorghita, Martin Palkovic, Juan Hamers, Arnout Vandecappelle, Stelios Mamagkakis, Twan Basten, Lieven Eeckhout, Henk Corporaal, Francky Catthoor, Frederik Vandeputte, Koen De Bosschere:
  System-scenario-based design of dynamic embedded systems.
  Electronic Edition (ACM DL) BibTeX
• Qiang Xu, Yubin Zhang, Krishnendu Chakrabarty:
  SOC test-architecture optimization for the testing of embedded cores and signal-integrity faults on core-external interconnects.
  Electronic Edition (ACM DL) BibTeX
• Zhong-Yi Jin, Curt Schurgers, Rajesh K. Gupta:
  A gateway node with duty-cycled radio and processing subsystems for wireless sensor networks.
  Electronic Edition (ACM DL) BibTeX
• Chin-Hsien Wu:
  An energy-efficient I/O request mechanism for multi-bank flash-memory storage systems.
  Electronic Edition (ACM DL) BibTeX
• Swapna R. Dontharaju, Shen Chih Tung, James T. Cain, Leonid Mats, Marlin H. Mickle, Alex K. Jones:
  A design automation and power estimation flow for RFID systems.
  Electronic Edition (ACM DL) BibTeX
• Ali Dasdan:
  Provably efficient algorithms for resolving temporal and spatial difference constraint violations.
  Electronic Edition (ACM DL) BibTeX
• Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti:
  Design intent coverage revisited.
  Electronic Edition (ACM DL) BibTeX
• Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic:
  Model checking sequential software programs via mixed symbolic analysis.
  Electronic Edition (ACM DL) BibTeX
• Gayatri Mehta, Justin Stander, Mustafa Baz, Brady Hunsaker, Alex K. Jones:
  Interconnect customization for a hardware fabric.
  Electronic Edition (ACM DL) BibTeX
• Chiu-Wing Sham, Evangeline F. Y. Young, Jingwei Lu:
  Congestion prediction in early stages of physical design.
  Electronic Edition (ACM DL) BibTeX
• Yi Zhu, Yuanfang Hu, Michael Bedford Taylor, Chung-Kuan Cheng:
  Energy and switch area optimizations for FPGA global routing architectures.
  Electronic Edition (ACM DL) BibTeX
• Shih-Hsu Huang, Chia-Ming Chang, Yow-Tyng Nieh:
  Opposite-phase register switching for peak current minimization.
  Electronic Edition (ACM DL) BibTeX
• Yen-Chun Lin, Li-Ling Hung:
  Straightforward construction of depth-size optimal, parallel prefix circuits with fan-out 2.
  Electronic Edition (ACM DL) BibTeX
• Andrew B. Kahng, Chul-Hong Park, Puneet Sharma, Qinke Wang:
  Lens aberration aware placement for timing yield.
  Electronic Edition (ACM DL) BibTeX
• Chih-Da Chien, Cheng-An Chien, Jui-Chin Chu, Jiun-In Guo, Ching-Hwa Cheng:
  A 252Kgates/4.9Kbytes SRAM/71mW multistandard video decoder for high definition video applications.
  Electronic Edition (ACM DL) BibTeX
• Pedro Reviriego, Juan Antonio Maestro:
  Efficient error detection codes for multiple-bit upset correction in SRAMs with BICS.
  Electronic Edition (ACM DL) BibTeX

Volume 14, Number 2, March 2009

• Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran:
  Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis.
  Electronic Edition (ACM DL) BibTeX
• Sudeep Pasricha, Young-Hwan Park, Nikil D. Dutt, Fadi J. Kurdahi:
  System-level PVT variation-aware power exploration of on-chip communication architectures.
  Electronic Edition (ACM DL) BibTeX
• Rajdeep Mukhopadhyay, S. K. Panda, Pallab Dasgupta, John Gough:
  Instrumenting AMS assertion verification on commercial platforms.
  Electronic Edition (ACM DL) BibTeX
• Martin Palkovic, Francky Catthoor, Henk Corporaal:
  Trade-offs in loop transformations.
  Electronic Edition (ACM DL) BibTeX
• Franco Fummi, Mirko Loghi, Massimo Poncino, Graziano Pravadelli:
  A cosimulation methodology for HW/SW validation and performance estimation.
  Electronic Edition (ACM DL) BibTeX
• Hiroaki Inoue, Tsuyoshi Abe, Kazuhisa Ishizaka, Junji Sakai, Masato Edahiro:
  Dynamic security domain scaling on embedded symmetric multiprocessors.
  Electronic Edition (ACM DL) BibTeX
• Meikang Qiu, Edwin Hsing-Mean Sha:
  Cost minimization while satisfying hard/soft timing constraints for heterogeneous embedded systems.
  Electronic Edition (ACM DL) BibTeX
• Xiangrong Zhou, Chenjie Yu, Peter Petrov:
  Temperature-aware register reallocation for register file power-density minimization.
  Electronic Edition (ACM DL) BibTeX
• Yu-Ru Hong, Juinn-Dar Huang:
  Reducing fault dictionary size for million-gate large circuits.
  Electronic Edition (ACM DL) BibTeX
• Xrysovalantis Kavousianos, Dimitris Bakalis, Dimitris Nikolos:
  Efficient partial scan cell gating for low-power scan-based testing.
  Electronic Edition (ACM DL) BibTeX
• Daler N. Rakhmatov:
  Battery voltage modeling for portable systems.
  Electronic Edition (ACM DL) BibTeX
• Yokesh Kumar, Prosenjit Gupta:
  External memory layout vs. schematic.
  Electronic Edition (ACM DL) BibTeX
• Po-Yuan Chen, Kuan-Hsien Ho, TingTing Hwang:
  Skew-aware polarity assignment in clock tree.
  Electronic Edition (ACM DL) BibTeX
• Minsik Cho, Katrina Lu, Kun Yuan, David Z. Pan:
  BoxRouter 2.0: A hybrid and robust global router with layer assignment for routability.
  Electronic Edition (ACM DL) BibTeX
• Kanupriya Gulati, Suganth Paul, Sunil P. Khatri, Srinivas Patil, Abhijit Jas:
  FPGA-based hardware acceleration for Boolean satisfiability.
  Electronic Edition (ACM DL) BibTeX