A Formal VLSI parallel description and design environment

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

[img]
Preview
PDF
9999.pdf

Download (4MB) | Preview

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)
Subjects: Computer
Department: College of Computing and Mathematics > Computer Engineering
Committee Advisor: Elleithy, Khaled M.
Committee Members: Amin, Alaaeldin A. M. and Osman, Mohamed Y.
Depositing User: Mr. Admin Admin
Date Deposited: 22 Jun 2008 13:54
Last Modified: 01 Nov 2019 13:53
URI: http://eprints.kfupm.edu.sa/id/eprint/9999