Title :
Design of a JBIG encoder with SpecC methodology
Author_Institution :
Center for Embedded Comput. Syst., California Univ., Irvine, CA, USA
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;
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
DOI :
10.1109/TUTCAS.2001.946961
