Journal: ACM Trans. Design Autom. Electr. Syst.

Volume 14, Issue 2

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