| 2000 | Synthesis of low power folded programmable coefficient FIR digital filters (short paper). | Vijay Sundararajan, Keshab K. Parhi |
| 2000 | Design for manufacturability: a path from system level to high yielding chips: embedded tutorial. | Andrzej J. Strojwas |
| 2000 | Narrow bus encoding for low power systems. | Youngsoo Shin, Kiyoung Choi |
| 2000 | Methodology for hardware/software co-verification in C/C++ (short paper). | Luc Smria, Abhijit Ghosh |
| 2000 | An introduction to SLDL and Rosetta. | Steven E. Schultz |
| 2000 | Causality based generation of directed test cases. | Nina Saxena, Jacob A. Abraham, Avijit Saha |
| 2000 | Three parameters to find functional decompositions. | Tsutomu Sasao, Ken-ichi Kurimoto |
| 2000 | Reconfigurable synchronized dataflow processor. | Hiroshi Sasaki, Hitoshi Maruyama, Hideaki Tsukioka, Nobuyoshi Shoji, Hiroaki Kobayashi, Tadao Nakamura |
| 2000 | Design challenges for 0.1um and beyond: embedded tutorial. | Takayasu Sakurai |
| 2000 | A 16-bit redundant binary multiplier using low-power pass-transistor logic SPL. | Hirofumi Sakamoto, Ken'ichiro Uda, Bu-Yeol Lee, Hiroyuki Ochi, Kazuo Taki, Takao Tsuda |
| 2000 | Formal verification based on assume and guarantee approach - a case study (short paper). | Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata |
| 2000 | Timing driven co-design of networked embedded systems. | Dinesh Ramanathan, Ravindra Jejurikar, Rajesh K. Gupta |
| 2000 | Voltage reduction of application-specific heterogeneous multiprocessor systems for power minimisation. | Allan Rae, Sri Parameswaran |
| 2000 | Low-power silicon architecture for wireless communications: embedded tutorial. | Jan M. Rabaey |
| 2000 | Fair watermarking techniques. | Gang Qu, Jennifer L. Wong, Miodrag Potkonjak |
| 2000 | Analog-testability analysis by determinant-decision-diagrams based symbolic analysis. | Tao Pi, Chuanjin Richard Shi |
| 2000 | Analysis of power-clocked CMOS with application to the design of energy-recovery circuits. | Massoud Pedram, Xunwei Wu |
| 2000 | A cell synthesis method for salicide process. | Kazuhisa Okada, Takayuki Yamanouchi, Takashi Kambe |
| 2000 | A non-scan DFT method at register-transfer level to achieve complete fault efficiency. | Satoshi Ohtake, Hiroki Wada, Toshimitsu Masuzawa, Hideo Fujiwara |
| 2000 | Data memory minimization by sharing large size buffers. | Hyunok Oh, Soonhoi Ha |
| 2000 | Optimization of VDD and VTH for low-power and high speed applications. | Koichi Nose, Takayasu Sakurai |
| 2000 | Prototype microprocessor LSI with scheduling support hardware for operating system on multiprocessor system. | Naoki Nishimura, Takahiro Sasaki, Tetsuo Hironaka |
| 2000 | A binary image sensor with flexible motion vector detection using block matching method. | Tomohiro Nezuka, Takafumi Fujita, Makoto Ikeda, Kunihiro Asada |
| 2000 | Fast development of source-level debugging system using hardware emulation (short paper). | Sang-Joon Nam, Jun-Hee Lee, Byoung-Woon Kim, Yeon-Ho Im, Young-Su Kwon, Kyong-Gu Kang, Chong-Min Kyung |
| 2000 | Multi-clock path analysis using propositional satisfiability. | Kazuhiro Nakamura, Shinji Maruoka, Shinji Kimura, Katsumasa Watanabe |