{"title":"Design of a JBIG encoder with SpecC methodology","authors":"J. Peng","doi":"10.1109/TUTCAS.2001.946961","DOIUrl":null,"url":null,"abstract":"JBIG is an image compression standard. It is distortionless and uses progressive encoding. SpecC methodology is demonstrated with a real example. SpecC is capable of transforming an executable specification into an RTL implementation. Basic refinement rules are established and applied to transform SpecC models. With the availability of SpecC automated tools, productivity gains of 100/spl times/ are achievable over the manual approach.","PeriodicalId":376181,"journal":{"name":"Tutorial Guide. ISCAS 2001. IEEE International Symposium on Circuits and Systems (Cat. No.01TH8573)","volume":"81 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","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.946961","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
JBIG is an image compression standard. It is distortionless and uses progressive encoding. SpecC methodology is demonstrated with a real example. SpecC is capable of transforming an executable specification into an RTL implementation. Basic refinement rules are established and applied to transform SpecC models. With the availability of SpecC automated tools, productivity gains of 100/spl times/ are achievable over the manual approach.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
