KFUPM ePrints

A Formal VLSI parallel description and design environment

AlHumaigani, Muhammad Abdallah (1995) A Formal VLSI parallel description and design environment. Masters thesis, King Fahd University of Petroleum and Minerals.

[img]
Preview
PDF
4Mb

Arabic Abstract

المعالجة المتوازية هي اتجاه في عالم الحوسبة قد أظهر تقدما أدائياً مقارنة بالنهج التتابعي المعتاد . ووصف التصاميم والأجهزة المتوازية باستخدام لغة متوازية ومنضبطة هو حاجة ملحة لهم وتصميم هذه لاتصاميم والأجهزة . في هذه لارسالة تمت مناقشة مواصفات ومتطلبات اللغة الواصفة المتوازية المنضبطة الخاصة بالتصاميم المادية ، ودراسة اللغات الموجودة بغرض الوصول إلى طريقة لضبط تصميم التكوينات المادية المتوازية المصغرة جداً لأي إطار أو عملية حوسبية ، سواء كانت ظاهرة أو باطنة التوازي . بالإضافة إلى ذلك فقد تم تطوير طريقة لإيجاد التوازي وتطبيقه على الوصف التصميم والوصول إلى صيغة اعتمادية متوازية للتصميم .

English Abstract

Parallel processing is a trend in computing that has shown great performance advantages over the conventional sequential schemes. Description of parallel architectures using a formal parallel hardware description language is an essential need to guarantee correct-by-construct VLSI designs. This thesis identifies the characteristics and requirements of formal parallel languages (FPHDL's) and studies the existing hardware description languages to find an optimal way to formalize the design of parallel VLSI architecture. Complete syntax and semantics of the adopted FPHDL are developed. In addition, the thesis studies various aspects of parallelism in order to develop a new methodology for the analysis and extraction of explicit or implicit parallelism in a design. The methodology produces a parallelized dependency graph of the design. A complete proof of the methodology is also given.



Item Type:Thesis (Masters)
Date:March 1995
Date Type:Completion
Subjects:Computer
Divisions:College Of Computer Sciences and Engineering > Computer Engineering Dept
Creators:AlHumaigani, Muhammad Abdallah
Committee Advisor:Elleithy, Khaled M.
Committee Members:Amin, Alaaeldin A. M. and Osman, Mohamed Y.
ID Code:9999
Deposited By:KFUPM ePrints Admin
Deposited On:22 Jun 2008 16:54
Last Modified:25 Apr 2011 09:39

Repository Staff Only: item control page