A case study of hardware and software synthesis in ForSyDe

被引：3
|
作者：
Lu, ZH [1 ]
Sander, I [1 ]
Jantsch, A [1 ]
机构：
[1] Royal Inst Technol, Stockholm, Sweden
来源：
ISSS'02: 15TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS | 2002年
关键词：
hardware synthesis; software synthesis; design methodology; system design;
D O I：
10.1109/ISSS.2002.1227157
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：86 / 91
页数：6
相关论文
共 50 条
  • [1] Case study on hardware/software partitioning
    Jantsch, Axel
    Ellervee, Peeter
    Oberg, Johnny
    Hemani, Ahmed
    1994, : 111 - 118
  • [2] Codesign of hardware, software, and algorithms - A case study
    Wilberg, J
    Ploger, P
    Camposano, R
    Langevin, M
    Vierhaus, HT
    ISCAS 96: 1996 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - CIRCUITS AND SYSTEMS CONNECTING THE WORLD, VOL 4, 1996, : 552 - 555
  • [3] Teaching hardware/software system codesign using CAD tools: A case study in image synthesis
    Dubois, H
    Sentieys, O
    Chillet, D
    Philippe, JL
    IEEE TRANSACTIONS ON EDUCATION, 2000, 43 (03) : 277 - 283
  • [4] Hardware-software partition with microcontrollers and CPLDs: A case study
    Encinas, WS
    Moreira, ED
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOL VI, PROCEEDINGS, 1999, : 3002 - 3008
  • [5] Case study of the electrical hardware and software for a flowmeter calibration facility
    Baker, Roger C.
    Gautrey, Dave P.
    Mahadeva, Dharshanie V.
    Sennitt, Simon D.
    Thorne, Alan J.
    FLOW MEASUREMENT AND INSTRUMENTATION, 2013, 29 : 9 - 18
  • [6] A CASE-STUDY IN THE MIGRATION OF SOFTWARE TO HARDWARE USING ASICS
    SPAANENBURG, L
    BELTMAN, AJ
    NIJHUIS, JAG
    REITSMA, A
    MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 263 - 270
  • [7] Equivalence of Hardware and Software: A Case Study for Solving Polynomial Functions
    Yang, Kuo-Pao
    Beaubouef, Theresa
    2010 42ND SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY (SSST), 2010,
  • [8] Hardware/software partitioning of software binaries: A case study of H.264 decode
    Stitt, G
    Vahid, F
    McGregor, G
    Einloth, B
    2005 International Conference on Hardware/Software Codesign and System Synthesis, 2005, : 285 - 290
  • [9] Hardware/Software Co-Design using Proteus - A Case Study
    Behera, R. P.
    Murali, N.
    Swaminathan, P.
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, COMMUNICATION AND ENERGY CONSERVATION INCACEC 2009 VOL 1, 2009, : 414 - +
  • [10] Timing Analysis of an Avionics Case Study on Complex Hardware/Software Platforms
    Wartel, Franck
    Kosmidis, Leonidas
    Gogonel, Adriana
    Baldovin, Andrea
    Stephenson, Zoe
    Triquet, Benoit
    Quinones, Eduardo
    Lo, Code
    Mezzetti, Enrico
    Broster, Ian
    Abella, Jaume
    Cucu-Grosjean, Liliana
    Vardanega, Tullio
    Cazorla, Francisco J.
    2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 397 - 402
12345