Proceedings of the 15th international symposium on System Synthesis (ISSS '02) A Case Study of Hardware and Software Synthesis in ForSyDe Kyoto, Japan October 02-October 04 ISBN: 1-58113-576-9
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a formal system specification, which captures the functionality of the system, it provides refinement methods inside the functional domain to transform the abstract specification into an efficient implementation model which serves as a starting point for synthesis into hardware and software. In this paper we illustrate with a case study of a digital equalizer how a ForSyDe model can be synthesized into a hardware, a software or a combined hardware/software implementation.
Index Terms:
design methodology, hardware synthesis, software synthesis, system design
Citation:
Ingo Sander, Axel Jantsch, Zhonghai Lu, "A Case Study of Hardware and Software Synthesis in ForSyDe," isss, pp.86-91, Proceedings of the 15th international symposium on System Synthesis (ISSS '02), 2002 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb