KFUPM ePrints

Back-end design of a formal high level synthesis system

Hasan, Masudul (1993) Back-end design of a formal high level synthesis system. Masters thesis, King Fahd University of Petroleum and Minerals.


Arabic Abstract


English 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 the primitive functions of a Realization Specification Language (RSL). Moduler design methodology is employed to support the expandibility of basic cells. Examples of a formal adder, multiplier, inner-product and matrix-matrix multiplier are presented.

Item Type:Thesis (Masters)
Date:June 1993
Date Type:Completion
Divisions:College Of Computer Sciences and Engineering > Computer Engineering Dept
Creators:Hasan, Masudul
Committee Advisor:Sait, Sadiq M.
Committee Members:Elleithy, Khaled M. and Youssef, Habib
ID Code:10156
Deposited By:KFUPM ePrints Admin
Deposited On:22 Jun 2008 16:57
Last Modified:25 Apr 2011 10:24

Repository Staff Only: item control page