Index of /~cad/publications/tech-reports/2001

Name	Last modified	Size

Parent Directory		-
INDEX	2001-12-18 15:42	11K
INDEX.html	2007-02-01 18:56	20K
TR-01-12.RESpecCT.pdf	2001-08-06 14:48	1.4M
TR-01-18.rtl.ps.gz	2001-04-30 17:43	91K
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

Technical Reports

This directory contains the UCI Cadlab technical report publications for the year 2001.

Please check the INDEX file(s) for a detailed listing of the technical reports including abstracts.

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.
Shuqing Zhao, "RTL Modeling in C++," UC Irvine, Technical Report ICS-TR-01-18, April, 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.