DocumentCode
1751883
Title
Design of a JBIG encoder with SpecC methodology
Author
Peng, Junyu
Author_Institution
Center for Embedded Comput. Syst., California Univ., Irvine, CA, USA
fYear
2001
fDate
2001
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× are achievable over the manual approach
Keywords
C language; data compression; hardware description languages; image coding; telecommunication standards; JBIG; RTL implementation; SpecC methodology; SpecC models; automated tools; distortionless encoding; executable specification; image compression standard; productivity gains; progressive encoding; refinement rules; Design methodology;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 2001. Tutorial Guide: ISCAS 2001. The IEEE International Symposium on
Conference_Location
Sydney, NSW
Print_ISBN
0-7803-7113-5
Type
conf
DOI
10.1109/TUTCAS.2001.946961
Filename
946961
Link To Document