| 101 | -- | 131 | José M. Mendías, Román Hermida, Olga Peñalba. A study about the efficiency of formal high-level synthesis applied to verification |
| 133 | -- | 158 | Yumin Zhang, Xiaobo Sharon Hu, Danny Z. Chen. Cell selection from technology libraries for minimizing power |
| 159 | -- | 182 | Suresh Raman, Sachin S. Sapatnekar, Charles J. Alpert. Probability-driven routing in a datapath environment |
| 183 | -- | 194 | Y. Tsiatouhas, Yiannis Moisiadis, Th. Haniotakis, Dimitris Nikolos, Angela Arapoyanni. A new technique for IDDQ testing in nanometer technologies |