spec语言

Tutorial Guide. ISCAS 2001. IEEE International Symposium on Circuits and Systems (Cat. No.01TH8573) Pub Date : 1900-01-01 DOI:10.1109/tutcas.2001.946956

R. Domer

{"title":"spec语言","authors":"R. Domer","doi":"10.1109/tutcas.2001.946956","DOIUrl":null,"url":null,"abstract":"The SpecC Language is executable and synthesizable and gives precise coverage of system language requirements with orthogonal constructs for orthogonal concepts. SpecC has been adopted in industry and academia with the introduction of the SpecC Open Technology Consortium (STOC). For the future there is a standardization effort in progress by STOC.","PeriodicalId":376181,"journal":{"name":"Tutorial Guide. ISCAS 2001. IEEE International Symposium on Circuits and Systems (Cat. No.01TH8573)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"The SpecC language\",\"authors\":\"R. Domer\",\"doi\":\"10.1109/tutcas.2001.946956\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The SpecC Language is executable and synthesizable and gives precise coverage of system language requirements with orthogonal constructs for orthogonal concepts. SpecC has been adopted in industry and academia with the introduction of the SpecC Open Technology Consortium (STOC). For the future there is a standardization effort in progress by STOC.\",\"PeriodicalId\":376181,\"journal\":{\"name\":\"Tutorial Guide. ISCAS 2001. IEEE International Symposium on Circuits and Systems (Cat. No.01TH8573)\",\"volume\":\"10 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Tutorial Guide. ISCAS 2001. IEEE International Symposium on Circuits and Systems (Cat. No.01TH8573)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/tutcas.2001.946956\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Tutorial Guide. ISCAS 2001. IEEE International Symposium on Circuits and Systems (Cat. No.01TH8573)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/tutcas.2001.946956","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

spec语言是可执行的和可综合的，并且用正交概念的正交构造精确地覆盖了系统语言需求。随着spec开放技术联盟(spec Open Technology Consortium, STOC)的引入，spec已被工业界和学术界采用。对于未来，STOC正在进行标准化工作。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

The SpecC language

The SpecC Language is executable and synthesizable and gives precise coverage of system language requirements with orthogonal constructs for orthogonal concepts. SpecC has been adopted in industry and academia with the introduction of the SpecC Open Technology Consortium (STOC). For the future there is a standardization effort in progress by STOC.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Tutorial Guide. ISCAS 2001. IEEE International Symposium on Circuits and Systems (Cat. No.01TH8573)

自引率

0.00%

发文量

期刊最新文献

Gigabit Ethernet ISCAS2001 tutorial/short course & special session on high speed devices & modelling Wireless access technologies - tutorial Distortion and intermodulation mechanisms Factors for success in SoC design