{"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}
引用次数: 1
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
