Hasan, Masudul (1993) Back-end design of a formal high level synthesis system. Masters thesis, King Fahd University of Petroleum and Minerals.
![[img]](http://eprints.kfupm.edu.sa/style/images/fileicons/application_pdf.png)
| PDF 2484Kb |
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 |
| Subjects: | Computer |
| 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