用spec方法设计JBIG编码器

Tutorial Guide. ISCAS 2001. IEEE International Symposium on Circuits and Systems (Cat. No.01TH8573) Pub Date : 2001-05-06 DOI:10.1109/TUTCAS.2001.946961

J. Peng

{"title":"用spec方法设计JBIG编码器","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":"{\"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}","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

摘要

JBIG是一种图像压缩标准。它是无失真的，并使用渐进编码。并通过一个实例对spec方法进行了说明。spec能够将可执行规范转换为RTL实现。建立了基本的细化规则，并应用于spec模型的转换。随着spec自动化工具的可用性，与手动方法相比，可以实现100倍/spl /的生产率提高。

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

查看原文本刊更多论文

Design of a JBIG encoder with SpecC methodology

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.

求助全文

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

来源期刊

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

自引率

0.00%

发文量