Hasan, Masudul (1993) Back-end design of a formal high level synthesis system. Masters thesis, King Fahd University of Petroleum and Minerals.
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)|
|Divisions:||College Of Computer Sciences and Engineering > Computer Engineering Dept|
|Committee Advisor:||Sait, Sadiq M.|
|Committee Members:||Elleithy, Khaled M. and Youssef, Habib|
|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