|
 |
Events
|
|
STOC held tutorials on SpecC as C-based System Design Language at ASP-DAC on Jan. 21, 2003 in Kita-Kyushu, Japan.
|
|
|
|
"SpecC User Group Meeting" at DAC 2002
STOC (SpecC technology open consortium) held a "SpecC
User Group Meeting" at coming DAC 2002 (39th Design Automation
Conference, June 10-14 New Orleans, http://www.dac.com).
"SpecC technology" is thesystem design methodology with system-
level design language SpecC. The industrial applications and
academic research fields of SpecC technology are spreading over
the design of embedded system, software and hardware includes SoC.
This meeting focuses on to share the latest information about SpecC
language specification (SpecC 2.0), available tools, application
case studies and the activities of STOC. This meeting is organized
by Language WG and Case Study WG of STOC.
Participation is open to both STOC members and non-STOC members,
and pre-registration is not required.
| Date: |
June 13, 2002 (Thu.) 18:00 - 20:00 |
| Place: |
Room 257
(on the second floor at Ernest N. Morial Convention Center) |
| Agenda: |
| (1) |
STOC
activity report
Language WG
Case Study WG |
| (2) |
SpecC
Language Version 2.0
Language WG |
| (3) |
Future
directions of SpecC |
| (4) |
Research
activities on SpecC
| * |
Evaluation of Applying SpecC to the Integrated Design Method of a Device Driver and a Device
Toyohashi University of Technology |
| * |
USB protocol design using SpecC
CATS Corp. |
| * |
VisualSpec : SpecC modeling and simulation tool suite
InterDesign Technologies Inc. |
| * |
In-behicle
CAN network simulation using SpecC
DENSO Corp.
Toshiba Corp.
InterDesign Technologies Inc. |
| * |
From human-friendly to synthesis-friendly hardware SpecC specifications
ISIT (Institute of Systems & Information Technologies/KYUSHU)
Kyushu Univ. |
| * |
SpecC Design Environment at CECS
Center of Embedded Computer Systems at Univ. of California, Irvine |
|
| (5) |
Open
discussions |
|
|
|
|
|
Embedded
Systems Conference 2002 in San Francisco
Two classes about SpecC technology were held at this years ESC in
San Francisco:
|
| Class
309: |
The
SpecC System-Level Design Language and Methodology,
Part 1 |
|
Thursday, March 14, 2002, 8:30AM
- 10:00AM
Location: Moscone Center, N-131 |
| Class
349: |
The SpecC System-Level Design Language
and Methodology, Part 2 |
|
Thursday, March 14, 2002, 1:00PM - 2:30PM
Location: Moscone Center, N-131 |
|
| Speakers: |
Rainer Doemer (Center for Embedded Computer
Systems)
Paul Kritzinger (Motorola SPS, Motorola Corp. Labs) |
| Abstract: |
A
well-defined design methodology supported by a system-level
design language (SLDL) is the key for managing the complexity
of the design flow, especially at the system level. Only with
well-defined and unambiguous models and transformations can
we achieve productivity gains through synthesis, verification
and tool interoperability. This class presented the SpecC
system design language and methodology. After a general overview
of SLDL requirements it described the SpecC language as an
example of a language specifically developed to support a
formalized design flow. It showed how, through gradual, stepwise
refinement, a design is taken from specification down to implementation.
Finally, it introduced a few examples of industrial-strength
designs that have been done following the methodology, including
the results and productivity gains achieved. |
This years Embedded Systems Conference,
ESC 2002, included two presentations of SpecC technology, entitled "The SpecC System-Level Design Language and Methodology".
In the first presentation, class 309, Rainer Doemer introduced
system-level design with SpecC and gave a detailed overview
about the SpecC language. The focus of the second presentation
was the SpecC methodology. First, Rainer Doemer introduced the
SpecC design methodology in general. Then, Paul Kritzinger of
Motorola described in detail the design of an actual industrial
example, the GSM vocoder, and the benefits that were achieved
by using the SpecC methodology.
Both talks were attended by embedded system designers, hardware
people, and and software people. The discussion showed that
SpecC technology really addresses the actual design problems
experienced by the audience. The feedback from the audience
was very positive. Only the lack of readily available tools
was a negative issue discussed, which will hopefully change
in the near future.
So, I am very sure that both presentations were successful,
although the attendence was quite low. There were about 12 people
listening to each talk. However, total attendence at the conference
was also low (my impression) and other sessions had a very similar
low number of people in the audience. |
|
|
|
|
SpecC seminar for designed case study by SpecC Consortium by supporting MST2001.
[Title of seminar]
Latest output & activity of SpecC
[Date]
Nov.
20th (Tue) 14:00-17:00
[Place]
Tokyo Fashion Town TFT906
[Application]
http://it.backoffice.co.jp/MST2001/
[Capacity]
200 seats
[Outline]
SpecC seminar by SpecC Consortium for designed case study
Latest output & activity from the consortium members are explained. Prof. Fujita
from Tokyo University will report the latest fruit derived by the language WG.
The case study WG would open those latest designed case study by using SpecC methodology.
The Language WG would explain the latest works of standardization of SpecC.
| 1. |
14:00-14:10 |
Introduction
STOC Chair/Toshiba, Tamaru
Kiichiro
|
| 2. |
14:10-14:40 |
SpecC technology Reference Compiler
STOC planning Dept. Kinoshita
Tsuneo
|
| 3. |
14:40-15:10 |
Current status of activity for the SpecC
ver.2
STOC language specification
WG Chair/Prof. of Tokyo University, Fujita Masahiro
|
| |
15:10-15:20 |
recess |
| 4. |
15:20-17:00 |
Introduction to Case Study WG |
| |
-15:30 |
Report from STOC case study WG
STOC case study WG Co-Chair/Toshiba,
Igarashi Shingo
|
| |
-16:00 |
Case study1: An example of
SIO device descriptionion by SpecC
Toyohashi University of Technology,
Honda Shinya
|
| |
-16:30 |
Case study2: An example of USB device description
by SpecC
CATS, Asari Kouji
|
| |
-17:00 |
Case study3: Specification
transformation from UML(StateChart) to SpecC
Inter Design Technologies,
Iwamasa Mikito
|
| |
|
to
abstract(pdf) |
|
|
|
|
STOC will hold seminers on June 18, 19 and 20 during the Design Automation Conference in Las Vegas.
[Title of seminar]
Introduction to SpecC Technology and the Reference Compiler
[Date]
June 18, 19 and 20 16:00-16:30
[Venue]
Metting Room(E) (suite of Mentor Graphics)
[Registration]
Register at the reception desk for Mentor Graphics suite
[Capacity]
12 people each time
|
|
|
CoolChipsIV
was held at Kikai-Shinko-Kaikan in Tokyo. The symposium covers low-power and high-speed
microprocessors and their applications. STOC held a poster exhibition and presented
a poster short speech(5min.).
There were about 30 visitors at the poster including foreign participants. In
particular, many visitors were interested in the development of SpecC reference
compiler.
|
|
|
The
Embedded Systems Conference was held in San Francisco.STOC held one and a half
hour seminar titled "Introduction to SpecC Technology and SpecC Technology
Open Consortium", in which Dr.Chaiyakul of Y Explorations, Inc. and Mr.Ishii
of Toshiba Corp. served as lecturers.
More than 10 people attended the seminar, and many of them were very curious about
SpecC and its related issues.
|
|
|
STOC
held an exhibition booth at the EDSFair (Electronic Design and Solution Fair 2001),
where activities of STOC, especially WG activities, were introduced.
There were many visitors at the booth, and over 200 people requested for detailed
brochure.
|
|
|
STOC
will hold a booth exhibition at EDSFair2001(e-Design & Solution
Fair 2001).
[Venue] PACIFICO
YOKOHAMA (Pacific Convention Plaza Yokohama) Booth DT-202
[Date]
Feb. 1st & 2nd, 2001 10:00-18:00
|
|
|
Prof.
Daniel Gajski (Univ. of California, Irvine, USA) will organize
a tutorial titled "SpecC: Specification Language and Design Methodology"
at ASP-DAC2001. (Jan. 30, 2001)
[Venue]
PACIFICO YOKOHAMA
(Pacific Convention Plaza Yokohama) Room311/312
[Date] Jan. 30, 2001
|
|
|
STOC
held a booth exhibition at MST2000 in which we gathered a lot
of responses from questionnaire on the activities of STOC and
SpecC language.(Nov./15-17,
2000)
|
|
|
Booth
exhibition at MST2000(Nov./15-17, 2000)
STOC will hold a booth exhibition at MST2000(Microcomputer System
& Tool Fair 2000) from Nov. 15 to Nov. 17.
| [Venue]
|
|
Tokyo
International Exhibition Center (Tokyo Big Sight) |
| [Exhibition] |
|
West
Hall 3,4, Booth No.D-08 |
| [Date] |
|
November
15 (Wed) to 17 (Fri), 2000 |
| [Time]
|
|
10:00
am - 5:00 pm |
|
|
|
SpecC Language Seminar was held.(July/25-26,2000)
SpecC Language Seminar was held, where SpecC language and application
methods to design embedded software and LSI were introduced.
The seminar was held at Toshiba Human Resource Development Center
(Shin-Yokohama) on July 25 and 26. The number of participants was greater
than the fixed number (20 each day).
|
|
|
SpecC Language Seminar
(July/25-26,2000)
STOC will have SpecC language seminar(July/25-26,2000). Application method
to design embedded software and LSI will be introduced.
|
|
|
DAC2000 (June/5-9,2000)
STOC held an exhibition booth and a demo suite for three days
(6/5,6,7) at the 37th DAC (Design Automation Conference,
June 5-9, Los Angeles Convention Center), and promoted SpecC technology
and language as de facto standard language for specification description
of systems.
|
|
|
