@techreport{R-93-31, TITLE = {An Integrated Design Methodology for Digital Systems}, AUTHOR = {Krzysztof Kuchcinski and Zebo Peng}, YEAR = {1993}, NUMBER = {R-93-31}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACT = {}, IDANR = {LiTH-IDA-R-93-31}, NOTE = {Accepted to the Workshop on Design Methodologies for Microelectronics and Signal Processing, Gliwice-Cracow, Poland, Oktober 20-23, 1993}