This directory contains UCI Cadlab publications related to the SpecC system-level design environment for the year 2000.

• A. Gerstlauer, S. Zhao, D. Gajski, A. Horak, "SpecC System-Level Design Methodology Applied to the Design of a GSM Vocoder," Proceedings of the Ninth Workshop on Synthesis and System Integration of Mixed Technologies, Kyoto, Japan, April 2000.
• Rainer Dömer and Daniel D. Gajski, "Reuse and Protection of Intellectual Property in the SpecC System," Proceedings of Asia and South Pacific Design Automation Conference, Yokohama, Japan, January, 2000.
• Lucai Cai, Daniel D. Gajski, "Introduction of Design-Oriented Profiler of SpecC Language," UC Irvine, Technical Report ICS-TR-00-47, June 2001.
• Pei Zhang, Dongwan Shin, Haobo Yu, Qiang Xie, Daniel D. Gajski, "SpecC RTL Methodology," UC Irvine, Technical Report ICS-TR-00-44, December 2000.
• Hanyu Yin, Haito Du, Tzu-Chia Lee, Daniel D. Gajski, "Design of a JPEG Encoder using SpecC Methodology," UC Irvine, Technical Report ICS-TR-00-23, July 2000.
• Dirk Jansen, "SpecC for Beginners: The Example of a Sounding Dice," UC Irvine, Technical Report ICS-TR-00-14, May 2000.
• Junyu Peng, Lukai Cai, Anand Selka, Daniel D. Gajski, "Design of a JBIG Encoder using SpecC Methodology," UC Irvine, Technical Report ICS-TR-00-13, June 2000.

• D. D. Gajski, J. Zhu, R. Dömer, A. Gerstlauer, S. Zhao, SpecC: Specification Language and Methodology, Japanese Edition, CQ Publishing, Japan, ISBN 4-7898-3353-4, December 2000, 328 pages.
• D. D. Gajski, J. Zhu, R. Dömer, A. Gerstlauer, S. Zhao, SpecC: Specification Language and Methodology, Kluwer Academic Publishers, Boston, MA, ISBN 0-7923-7822-9, March 2000, 336 pages.