A Case Study of Hardware and Software Synthesis in ForSyDe

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Ingo Sander Articles by Axel Jantsch Articles by Zhonghai Lu

Proceedings of the 15th international symposium on System Synthesis (ISSS '02)

Kyoto, Japan

October 02-October 04

ISBN: 1-58113-576-9

	ASCII Text	x
	Ingo Sander, Axel Jantsch, Zhonghai Lu, "A Case Study of Hardware and Software Synthesis in ForSyDe," System Synthesis, International Symposium on, pp. 86-91, Proceedings of the 15th international symposium on System Synthesis (ISSS '02), 2002.

	BibTex	x
	@article{ 10.1109/ISSS.2002.1227157, author = {Ingo Sander and Axel Jantsch and Zhonghai Lu}, title = {A Case Study of Hardware and Software Synthesis in ForSyDe}, journal ={System Synthesis, International Symposium on}, volume = {0}, year = {2002}, isbn = {1-58113-576-9}, pages = {86-91}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISSS.2002.1227157}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - System Synthesis, International Symposium on TI - A Case Study of Hardware and Software Synthesis in ForSyDe SN - 1-58113-576-9 SP86 EP91 A1 - Ingo Sander, A1 - Axel Jantsch, A1 - Zhonghai Lu, PY - 2002 KW - design methodology KW - hardware synthesis KW - software synthesis KW - system design VL - 0 JA - System Synthesis, International Symposium on ER -

Ingo Sander, Royal Institute of Technology, Stockholm, Sweden

Axel Jantsch, Royal Institute of Technology, Stockholm, Sweden

Zhonghai Lu, Royal Institute of Technology, Stockholm, Sweden

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISSS.2002.1227157

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.