KFUPM ePrints

Back-end design of a formal high level synthesis system

Ul-Hasan, Masud (1993) Back-end design of a formal high level synthesis system. Masters thesis, Advisor: Prof. Sadiq M. Sait, Co-Advisors: Dr. Khalid M. Elleithy and Dr. Samir Abdul Jauwad. KFUPM.

[img]
Preview
PDF
2484Kb

Abstract

A complete design and implementation of a cell library has been accomplished in this work. This cell library supports a formal high level synthesis framework. The library contains the logic level models of all primitive functions of a Realization Specification Language (RSL). Modular design methodology is employed to support the expandability of basic cells. Examples of a formal adder, multiplier, inner-product and matrix-matrix multiplier are presented. Advisor: Prof. Sadiq M. Sait, Co-Advisors: Dr. Khalid M. Elleithy and Dr. Samir Abdul Jauwad.



Item Type:Thesis (Masters)
Date:01 June 1993
Date Type:Publication
Subjects:Computer
Divisions:College Of Computer Sciences and Engineering > Computer Engineering Dept
Creators:Ul-Hasan, Masud
ID Code:19
Deposited By:KFUPM ePrints Admin
Deposited On:16 Sep 2007 14:56
Last Modified:25 Apr 2011 08:21

Repository Staff Only: item control page