Presentation	2000/3/22 SpecC language for seamless specification of HW/SW and its semantics of realtimeness Tadatoshi ISHII,
PDF Download Page	PDF download Page Link
Abstract(in Japanese)	(See Japanese page)
Abstract(in English)	In multimediaera, it becomes apparent that improvement of design productivity should focus not only on HW / SW implementation but also on functional specification(logical behavior)of products. Languages, which describes designs, are also needed to be reconsidered for the specification. Computational model(a group of computational concepts)should be reconsidered from the different point of view than programming languages and hardware description languages. Each of the concepts should be represented by an independent context in the specification description languages. The languages also supports transformation from specification to implementation. In this presentation, SpecC language is introduced, and the semantics of realtimeness between specification and implementation is discussed.
Keyword(in Japanese)	(See Japanese page)
Keyword(in English)	Computational model / Specification describtion / Programming language
Paper #	CPSY99-117
Date of Issue

Conference Information
Committee	CPSY
Conference Date	2000/3/22(1days)
Place (in Japanese)	(See Japanese page)
Place (in English)
Topics (in Japanese)	(See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To	Computer Systems (CPSY)
Language	JPN
Title (in Japanese)	(See Japanese page)
Sub Title (in Japanese)	(See Japanese page)
Title (in English)	SpecC language for seamless specification of HW/SW and its semantics of realtimeness
Sub Title (in English)
Keyword(1)	Computational model
Keyword(2)	Specification describtion
Keyword(3)	Programming language
1st Author's Name	Tadatoshi ISHII
1st Author's Affiliation	Strategic IP Group, Corporate Development Center Toshiba Corporation()
Date	2000/3/22
Paper #	CPSY99-117
Volume (vol)	vol.99
Number (no)	725
Page	pp.pp.-
#Pages	1
Date of Issue