Journal: IEEE Trans. on CAD of Integrated Circuits and Systems

Volume 25, Issue 1

4 -- 11Görschwin Fey, Rolf Drechsler. Minimizing the number of paths in BDDs: Theory and algorithm
12 -- 18Wenjian Yu, Mengsheng Zhang, Zeyi Wang. Efficient 3-D extraction of interconnect capacitance considering floating metal fills with boundary element method
19 -- 30Kyosun Kim, Ramesh Karri, Miodrag Potkonjak. Micropreemption synthesis: an enabling mechanism for multitask VLSI systems
31 -- 46María C. Molina, Rafael Ruiz-Sautua, Jose Manuel Mendias, Román Hermida. Bitwise scheduling to balance the computational cost of behavioral specifications
47 -- 57Jaewon Seo, Taewhan Kim, Joonwon Lee. Optimal intratask dynamic voltage-scaling technique and its practical extensions
58 -- 65Arijit Raychowdhury, Kaushik Roy. Modeling of metallic carbon-nanotube interconnects for circuit simulations and a comparison with Cu interconnects for scaled technologies
66 -- 78Jaijeet S. Roychowdhury, Robert C. Melville. Delivering global DC convergence for large mixed-signal circuits via homotopy/continuation methods
79 -- 91Kanad Chakraborty, Alexey Lvov, Maharaj Mukherjee. Novel algorithms for placement of rectangular covers for mask inspection in advanced lithography and other VLSI design applications
92 -- 110Li Shang, Li-Shiuan Peh, Niraj K. Jha. PowerHerd: a distributed scheme for dynamically satisfying peak-power constraints in interconnection networks
111 -- 125Ying Zhang, Krishnendu Chakrabarty. A unified approach for fault tolerance and dynamic power management in fixed-priority real-time embedded systems
126 -- 143Imad A. Ferzli, Farid N. Najm. Analysis and verification of power grids considering process-induced leakage-current variations
144 -- 154Min Zhao, Yuhong Fu, Vladimir Zolotov, Savithri Sundareswaran, Rajendran Panda. Optimal placement of power-supply pads and pins
155 -- 166Quming Zhou, Kartik Mohanram. Gate sizing to radiation harden combinational logic
167 -- 180Josh Yang, Baosheng Wang, Yuejian Wu, André Ivanov. Fast detection of data retention faults and other SRAM cell open defects
181 -- 196Qiang Xu, Nicola Nicolici. Multifrequency TAM design for hierarchical SOCs
197 -- 204Shih-yu Yang, Christos A. Papachristou. A method for detecting interconnect DSM defects in systems on chip