Loading...
Please wait, while we are loading the content...
Similar Documents
A case study of hardware and software synthesis in ForSyDe (2002)
| Content Provider | CiteSeerX |
|---|---|
| Author | Lu, Zhonghai Sander, Ingo Jantsch, Axel |
| Description | 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. Categories and Subject Descriptors In Proceedings of the 15th International Symposium on System Synthesis |
| File Format | |
| Language | English |
| Publisher Date | 2002-01-01 |
| Access Restriction | Open |
| Subject Keyword | Formal System Specification Forsyde Model Hardware Software Implementation Digital Equalizer Functional Domain Soc Application Efficient Implementation Model Refinement Method Starting Point Abstract Specification Subject Descriptor Formal System Design Data Flow Software Synthesis Case Study |
| Content Type | Text |
| Resource Type | Article |
