|
 |
News
|
|
STOC(SpecC
Technology Open Consortium) 8th General Meeting
was held.
On June/15/06, the meeting was held through Internet.
It was reported as below and all agenda were approved.
(1) Reported
(Avtivities of 2005 and members)
-
Outline
of the Activities
-
Situations
of member
-
Report
on revenue/expense of 2005
-
Plan
of activity for 2006
-
Budget
for 2006
-
Appointment
of new Director of Secretariat
Mr.Tsuneo Kinoshita was appointed as New Director
of Secretariat
|
|
|
|
STOC(SpecC Technology
Open Consortium) 7th General Meeting was held.
On June/30/05, the meeting was held through Internet. It was reported
as below and all agenda were approved.
(1) Reported (Avtivities
of 2004 and members)
-
Outline
of the Activities
-
Situations
of member
-
Report
on revenue/expense of 2004
-
Plan
of activity for 2005
-
Budget
for 2005
-
New
Officials
New
officials were appinted as below..
| Chairperson: |
Masahiro
Fujita (University of Tokyo) |
| Vice-chairpersons: |
Hiroaki Takada
(Nagoya University)
Setsuo Yamamoto (InterDesign Technologies) |
| Auditors: |
Yukio Kunimine
(GAIO Technology)
Kiichiro Tamaru (Toshiba) |
Language
& Specification WG
Leader: |
Masahiro Fujita
(University of Tokyo) |
| Sub-Leaders: |
Hiroyuki Tomiyama
(Nagoya University)
Daniel Gajski (University of California Irvine) |
Director
of Secretariat:
|
Masaru Ito(InterDesign Technologies) |
|
|
|
|
6th
General Meeting of STOC was held on the 29th of June, 2004 through
Internet and all the following agendas were resolved to be approved.
1. Income Statement of the Year 2003
2. Activity Plan for 2004
3. Budget Plan for 2004
|
|
|
|
SpecC Reference
Compiler V2.0 released
On June 24, 2004, CECS of University of California, Irvine has
released a new version of the SpecC Reference Compiler (SCRC),
Version 2.0.
The SCRC Release 2.0
includes the following new features:
| |
* full support of the SpecC Language
Standard Version 2.0 |
| |
|
- support for Accellera RTL standard
by 'fsmd' construct |
| |
|
- support for RTL 'signal' and 'buffered' variables
(including sliced and/or concatenated port maps)
|
| |
|
- support for 'rising' and 'falling' edges
of signals |
| |
|
- optional support for 'after' and 'piped'
clauses in 'fsmd' |
| |
|
- support for local states in 'fsm' construct |
| |
|
- support for 'wait' with AND-semantics |
| |
|
- support for notational short-cuts |
| |
|
- support for composite annotations |
| |
|
- major improvements in semantic checking |
| |
|
- improved ANSI compatibility of the code |
| |
|
- numerous limitations eliminated |
| |
|
- numerous serious bugs fixed |
| |
|
| |
* standard SpecC channel library included |
| |
|
- synchronization channels c_mutex, c_semaphore,
c_barrier,c_critical_section, c_handshake, c_token |
| |
|
- communication channels c_double_handshake,
c_queue
(plus their typed counterparts) |
As usual, the SCRC source and binary packages can be downloaded
freely from the download section on the CECS web page, at:
http://www.cecs.uci.edu/~specc/reference/
More information on the SpecC technology and the SCRC is available
at http://www.cecs.uci.edu/~specc/
|
|
|
|
Free
lease of [SpecC-HDL Converter] announced
STOC members (*) developed SpecC - Verilog-HDL/VHDL
(RTL) Converter, which automatically converts RTL
Level Verilog-HDL/VHDL code into SpecC code and vice
versa. If you want to know the details, please contact:
SpecC Technology Open Consortium Office (FAX +81-3-2730-2596
E-Mail )
| *
Development members: |
InterDesign
Technologies, Inc. |
| |
Synthesis Corporation, |
| |
The Institute
of Japanese Union of Scientist & Engineers |
| |
Toshiba KN System
Co., Ltd. |
Copyright 2003-2004 of SpecC-HDL Converter are reserved by InterDesign
Technologies, Inc. & Information-technology Promotion Agency, Japan
|
|
|
|
Design Environment WG Activities
During the past years, more and more researchers and engineers of universities and industry come to have interest in and to understand
SpecC designing technology. And it is lately published some actual application case by users. We think that it is getting more important to
study more toward actual and practical application of SpecC technology. So we started to study system level design tool from users point of view.
|
|
|
STOC participated tutorial session and booth of the Embedded Technology 2003
STOC participated tutorial session and booth of the Embedded Technology 2003 held at Pacifico Yokohama from Nov/10 to 14. Many people attended the tutorial session and learned basics of system design of SpecC and also examples of the development. Besides many people dropped in the booth and expressed keen interest in the system level design based on SpecC language.
|
|
|
|
STOC
participated the 6th ESEC
STOC participated the 6th ESEC held at Tokyo Big Site from July/9 to
11. Many people visited the booth and expressed keen interest and expectation
on the system level design based on SpecC language, which is being studied
with down-to-earth and continuous efforts by many researchers at universities
in the world. At the booth, STOC introduced that automatic bilateral
conversion tool between SpecC and VHDL/ Verilog-HDL is being developed,
under the support of IPA (Information-technology Promotion Agency of
Japan), by InterDesign Technologies, Inc. Synthesis, Toshiba KN System
and other companies.
|
|
|
|
5th General Meeting of STOC was held on the 20th of June, 2003 through Internet and all the following agendas were resolved to be approved.
1. Income Statement of the Year 2002
2. Reorganization - Establishment of a new WG- Design Environment WG
3. Appointment of Officials
4. Activity Plan for 2003
5. Budget Plan for 2003
Officials for the year 2003 are as follows.
| Chairperson: |
Kunihiro Asada (University of Tokyo) |
| Vice-chairpersons: |
Hiroaki Takada
(Nagoya University)
Mutsuhiro Arinobu (Toshiba)
Setsuo Yamamoto (InterDesign Technologies)
|
| Auditors: |
Yukio Kunimine
(GAIO Technology)
Kiichiro Tamaru (Toshiba)
|
| Director of Secretariat: |
Masaru ITO
(InterDesign Technologies) |
Case Study WG
Leader: |
Yoshihiro
Matsumoto (ASTEM) |
| Sub-Leader: |
Masato Igarashi
(Toshiba) |
Language & Specification WG
Leader: |
Masahiro Fujita
(University of Tokyo) |
| Sub-Leaders: |
Hiroyuki
Tomiyama (Nagoya University)
Daniel Gajski (University of California Irvine)
|
Design Environment
WG
Leader: |
Tadatoshi Ishii (InterDesign Technologies) |
| Sub-Leader: |
Koichi Kondo
(Toshiba) |
|
|
|
|
SpecC Language Reference Manual Version 2.0 is now publicized on the web.
|
|
|
STOC (SpecC Technology
Open Consortium) Announce of approved issues of the 4th General
Meeting
From this year, General Meeting was done through e-mail.
This is the announcement that of all the approving Issues are
agreed from all members.
Approved Issues are:
1. Appointment of STOC Officials
2. Financial Report of the Year 2001
3. Year 2002 Activities
4. Year 2002 Financial Plans
5. Approval of SpecC v2.0 specification
|
|
|
|
Very important News came from Prof. Gajsy for DAC:
| 1. |
After a lot of
effort by Andreas and CECS staff the printer will deliver
some copies of the yellow book (Japanese version) by June
7. The book will be taken to DAC and copies will be open at
there. The treatment of the book would be determined by STOC,
it will be used in many seminar or so in Japan. |
| 2. |
The best news is that Prof. Gajski will demo at DAC the system-level design environment called SCE (SpecC Environment) that will allow designers to generate synthesizable RTL (by Synopsis DC) from specification model in SpecC. This environment refines the specification model automatically into RTL model from design decisions made by designers interactively through the SCE. |
| The attendee of DAC could join the demo of SCE at DAC. For the demo they should contact Rainer (doemer@cecs.uci.edu) or Andreas (gerstl@cecs.uci.edu) or get in touch with Prof.Gajski at DAC. |
| Soon after DAC, the demo will be send to Japan, so you can experience it through many exhibition in Japan.
|
|
|
|
|
STOC press released on "SpecC research support program"
artile...
|
|
|
we have released a new version of the SpecC Reference Compiler (SCRC), Version
1.2.
artile...
|
|
|
STOC announced that SpecC Reference Compiler was completed at UCI.
artile...
|
|
|
EETIMES carried an article on the recent status of SpecC and SystemC.
artile...
|
|
|
UCI(University of Californina, Irvine) announced that UCI's Center for Embedded Computer
Systems completed SpecC reference compiler.
The development of the reference compiler was supported by STOC. Masahiro Fujita, professor at Tokyo University and of the SpecC Language Standardization
Committee said "The release of the SpecC reference Compiler is the first significant toward acceptance of SpecC as the world-standard specification language for system design. "
article...
|
|
|
UCI(University of California Irvine) announced that UCI was chosen
to develop reference compiler for SpecC language.
STOC has chosen UC Irvine's Center for Embedded Computer Systems(CECS)
to develop open source reference compiler for SpecC language.
( http://www.communications.uci.edu/releases/019tv01.html
)
|
|
|
The second SpecC Technology Open Consortium general meeting was held.
The second STOC general meeting was held at Yokohama Japan on Jan. 30 2001 during EDS Fair and ASP-DAC period. There was an attendance of 24 people. Consortium activities of year 2000 were reported, activity plans for year 2001 was discussed, and a plan to develop SpecC reference compiler at UCI was introduced.
|
|
|
|
The
first SpecC Technology Open Consortium General Meeting
The first STOC general meeting was held at Queens forum Yokohama
on Jan.28, 2000, the last day of ASP-DAC 2000 and EDA Techno fair.
It was attended by 42 people, and begun with the speech of Professor
Gajski of University California Irvine, the farther of SpecC language.
Activities of STOC were reported and discussed as below.
Report of the POC and the Secretary:
(1) POC reported that STOC rules had been officially effective from
Jan. 18, 2000.
(2) POC announced that the annual membership fee of STOC did not exceed
100,000Yen, and the paying form was negotiable.
POC (Planning & Operation Committee)
Technical Seminar of SpecC language:
Mr. Ishii (Toshiba) explained features of SpecC language with the
explanation of importance of system level specification description
and requirements for specification description languages.
Discussion about STOC Activities:
Members discussed the following issues and reached the consensus.
(1) The goal of STOC activities is the "establishment of base
technology for the validation of embedded system specification."
(2) The Working Group (WG) starts with the introduction and study
of SpecC language followed by the evaluation using examples provided
by STOC members. STOC members are required to provide examples for
evaluation.
Future Activities:
Members agreed to further discuss the following activities.
(1) Introduction of public funds.
(2) Possibility for introducing issues that discussed during SpecC
language Technical Seminar into the WG activities.
The second General Meeting:
Members agreed to study feasibility to hold the second general meeting
at Los Angeles during DAC (June 5-9, 2000).
SpecC language tutorial:
The plan to hold SpecC language tutorial at the end of March or
April in Tokyo was approved. Participation fee was assumed to be
30,000 Yen for members and 50,000 Yen for non-members.
|
|
|
|
SpecC Technology Open
Consortium Launches Working Group Activities
Two Working Groups (WGs), Language Specification WG and Case
Study WG, has started to disseminate and standardize SpecC language.
Tokyo, Japan, November 15, 2000 - The SpecC Technology Open
Consortium (STOC) announced today at MST2000 Embedded Technology
Conference and Exhibition that STOC has started two WG activities.
One of two WGs is the Case Study WG that examines the ability
of SpecC language through descriptions of application examples,
and collects design knowledge to establish design guidelines or
methodologies. According to the current schedule, a period of
the WG activities is one year, and members will exchange evaluation
results of SpecC language ability and design know-how based on
the specification description experiences. The first meeting had
been held on Oct. 30.
Another WG is the Language Specification WG that maintains and
establishes the specification of SpecC language while evaluating
and enhancing the current specification to achieve more powerful
and efficient Specification environments. Members will be recruited
from Worldwide STOC members, and the activity scope includes also
standardization of relevant tools like SpecC Compiler.
STOC contributes to the prosperity of manufacturing industries
through activities of the above WGs aiming at the dissemination
and standardization of SpecC language and design methods based
on it.
RE: Case Study WG
| - Objectives: |
The WG collects
application examples, specification description examples,
SpecC sample codes, implementation know-how to disseminate
SpecC language and to establish design guidelines and/or design
methods based on SpecC language. Experiences, knowledge and
requirements gathered during the activity will be fed to Language
Specification WG. |
| - Leader: |
Prof. Michiharu
Tsukamoto (Tokyo University of Technology) |
| - Sub-Leader:
|
Mr. Masato Igarashi
(Toshiba) |
| - Members:
|
18 persons (14
organizations) from STOC members (Nov.15,2000)
Alpine Electric Inc., CATS Co., Ltd., Co-Design Automation
Inc., Hitachi Ltd., Mitsubishi Electric Co., Motorola Inc.,
Sharp Co., Tokyo University of Technology, Toshiba Co., Toshiba
Socio Engineering Co., Toyohashi University of Technology
(Embedded and Real-Time Systems Laboratory, Dept. of Information
and Computer Sciences), etc. |
| - Activity
Period: |
1 year from Oct.
2000 (will be prolonged if necessary). |
RE: Language Specification WG
| - Objectives: |
Standardization
of SpecC language and relevant tools. |
| - Leader: |
Prof. Masahiro
Fujita (The Tokyo University) |
| - Sub-Leader:
|
Mr. Masaki Ito
(Hitachi, Ltd.) |
| - Members:
|
will be recruited
from STOC members |
| - Activity
Period: |
Continuous activity
from Dec. 2000 |
About SpecC language
Originally developed at University of California, Irvine, SpecC
language-specification description language based on C-is designed
to support smooth overall integration of product development,
from determining specifications to design implementation. SpecC
language allows the same semantics and syntax to be used to represent
specifications in a conceptual system, in hardware and software
and, most importantly, in intermediate specifications and information
during hardware and software co-design stages.
About STOC
The SpecC Technology Open Consortium (STOC) has been established
on November 10, 1999 by 24 companies and organizations world-wide
for securing wide acceptance of a SpecC language-based methodology
that enhances development integration of the development process
and that overcomes constraints on time-to-market and cost. The
new methodology is expected to achieve significant productivity
gains in development of electronics products, including communications
equipment, portable products, multimedia equipment, set-top boxes,
and electronic control unit.
Activities of STOC will be publicized at the consortium's web
site at http://www.SpecC.org/, where the introduction of SpecC
technology, the consortium's activities, and research results
are available.
|
|
|
|
World Top-class
EDA Vendors Join the SpecC Technology Open Consortium To Build
Methodology for Higher Abstraction Levels of System Specification
Cadence, CynApps, Mentor will focus on specification exchange
from the specification phase to final design phase
Tokyo, Japan, March 23, 2000 - The SpecC Technology Open
Consortium (STOC) announced today that three more EDA companies
have joined the consortium's drive to establish a SpecC-based
system-design methodology that enables smooth, accelerated specifications
exchanges during the product development process, from the specification
phase to final design phase. Also six companies in system design
industries have joined the STOC to enhance the development and
design process for electronic products.
Ken'ichi Chiboshi, Secretary of the STOC, stated "Cadence
Design Systems, Inc., CynApps Inc., and Mentor Graphics Corp.
are the latest to join from the EDA industry. Also in recent three
months, Alpine Electronics, Inc., Hitachi Electronics Services
Co.,Ltd., OKI Information Systems Co., Ltd., Synthesis Corp.,
Toyota Motor Corp., and Yamaha Corp. have joined to STOC. The
consortium's 36 members and participants are working to standardize
the SpecC language and methodology for speeding time-to-market
for systems companies by a clear, well-established design process,
from specification to implementation for electronic products,
with far fewer misses in communication between design divisions."
|
|
|
|
The
first SpecC Technology Open Consortium General Meeting
The first STOC general meeting was held at Queens forum Yokohama
on Jan.28, 2000, the last day of ASP-DAC 2000 and EDA Techno fair.
It was attended by 42 people, and begun with the speech of Professor
Gajski of University California Irvine, the farther of SpecC language.
Activities of STOC were reported and discussed as below.
Report of the POC and the Secretary:
(1) POC reported that STOC rules had been officially effective from
Jan. 18, 2000.
(2) POC announced that the annual membership fee of STOC did not exceed
100,000Yen, and the paying form was negotiable.
POC (Planning & Operation Committee)
Technical Seminar of SpecC language:
Mr. Ishii (Toshiba) explained features of SpecC language with the
explanation of importance of system level specification description
and requirements for specification description languages.
Discussion about STOC Activities:
Members discussed the following issues and reached the consensus.
(1) The goal of STOC activities is the "establishment of base
technology for the validation of embedded system specification."
(2) The Working Group (WG) starts with the introduction and study
of SpecC language followed by the evaluation using examples provided
by STOC members. STOC members are required to provide examples for
evaluation.
Future Activities:
Members agreed to further discuss the following activities.
(1) Introduction of public funds.
(2) Possibility for introducing issues that discussed during SpecC
language Technical Seminar into the WG activities.
The second General Meeting:
Members agreed to study feasibility to hold the second general meeting
at Los Angeles during DAC (June 5-9, 2000).
SpecC language tutorial:
The plan to hold SpecC language tutorial at the end of March or
April in Tokyo was approved. Participation fee was assumed to be
30,000 Yen for members and 50,000 Yen for non-members.
|
|
|
|
SpecC
Technology Open Consortium Managerial Discussion
26 people from 16 organizations had attended to STOC Managerial
Discussion to discuss rules and activity scopes of STOC on Dec.10
1999.
Detail
26 people from 16 organizations had attended to STOC Managerial
Discussion to discuss rules and activity scopes of STOC on Dec.10
1999. Results of discussions are the follows.
Objectives and
scopes of STOC
Attendees agreed that the objective of STOC was the improvement
of early phase design processes of embedded systems, and activity
scopes included improvement and standardization of both 1) SpecC
languages and 2) specification design processes.
|
|
|
 Establishment
of STOC was announced at Embedded Technology Conference and Exhibition
MST '99
MST'99 invites us to hold the press conference of announcement of
the consortium establishment at Tokyo bigsite.
|
Press Coverage
|
00/6/17
|
EEdesign.com
|
|
|
00/3/27
|
EETimes
|
|
|
99/11/12
|
ASCII
|
|
|
99/11/12
|
EETimes
|
|
|
99/11/11
|
Nikkei
BizTech
|
|
|
99/11/11
|
Nikkei
BizTech
|
|
|
|
