Index of /~cad/publications/SpecC/2001

Name	Last modified	Size

Parent Directory		-
TR-01-12.RESpecCT.pdf	2001-08-06 14:48	1.4M
TR-01-35.vocoder.ps.gz	2001-06-29 16:08	207K
TR-01-36.FuncBinding..>	2001-09-27 13:15	88K
TR-01-37.RegBinding.pdf	2001-09-26 20:21	104K
TR-01-38.BusBinding.pdf	2001-09-26 20:42	147K
TR-01-44.power_spec.pdf	2001-08-07 17:03	139K
TR-01-45.power_cmd.pdf	2001-08-07 17:04	133K
TR-01-46.power_emul.pdf	2001-08-07 17:03	232K
TR-01-59.ASM.pdf	2001-12-18 15:20	139K
TR-01-59.ASM.ps.gz	2001-12-18 15:20	51K
TR-01-65.sched.pdf	2001-12-18 15:40	98K
TR-01-65.sched.ps.gz	2001-12-18 15:41	309K

UCI Cadlab

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

Dongwan Shin, Daniel D. Gajski, "Scheduling in RTL Design Methodology," UC Irvine, Technical Report ICS-TR-01-65, July 2001.
Wolfgang Mueller, Rainer Dömer, Andreas Gerstlauer, "The Formal Execution Semantics of SpecC," UC Irvine, Technical Report ICS-TR-01-59, November 2001.
Slim Ben Saoud, Daniel D. Gajski, "Co-design of Emulators for Power electric Processes Using SpecC Methodology," UC Irvine, Technical Report ICS-TR-01-46, July 2001.
Slim Ben Saoud, Daniel D. Gajski, "SpecC Methodology applied to the Design of Control systems for Power Electronics and Electric Drives," UC Irvine, Technical Report ICS-TR-01-45, July 2001.
Slim Ben Saoud, Daniel D. Gajski, "Specification and Validation of New Control Algorithms for Electric Drives using SpecC Language," UC Irvine, Technical Report ICS-TR-01-44, July 2001.
Haobo Yu, Daniel D. Gajski, "Interconnection Binding in RTL Design Methodology," UC Irvine, Technical Report ICS-TR-01-38, June 2001.
Pei Zhang, Daniel D. Gajski, "Storage Binding in RTL Synthesis," UC Irvine, Technical Report ICS-TR-01-37, August 2001.
Qiang Xie, Daniel D. Gajski, "Function Binding in RTL Design Methodology," UC Irvine, Technical Report ICS-TR-01-37, June 2001.
Martin von Weymarn, "Development of a Specification Model of the EFR Vocoder," UC Irvine, Technical Report ICS-TR-01-35, July 2001.
David Berner, Dirk Jansen, Daniel D. Gajski, "Development of a Visual Refinement and Exploration Tool for SpecC," UC Irvine, Technical Report ICS-TR-01-12, March 2001.

Books:

A. Gerstlauer, R. Dömer, J. Peng, D. D. Gajski, System: Design: A Practical Guide with SpecC, Kluwer Academic Publishers, Boston, MA, ISBN 0-7923-7387-1, June 2001.
A. Rettberg, F. Rammig, A. Gerstlauer, D. Gajski, W. Hardt, B. Kleinjohann, "The Specification Language SpecC within the PARADISE Design Environment," in Architecture and Design of Distributed Embedded Systems, edited by Bernd Kleinjohann, Kluwer Academic Publishers, Boston, MA, ISBN 0-7923-7345-6, April 2001.