Systematic Methods For Designing Large Digital Systems

PhD Thesis


Protheroe, D. (1988). Systematic Methods For Designing Large Digital Systems. PhD Thesis Council for National Academic Awards Department of Electrical and Electronic Engineering, Polytechnic of the South Bank, https://doi.org/10.18744/lsbu.956vv
AuthorsProtheroe, D.
TypePhD Thesis
Abstract

This project concerns the development of a design methodology for digital systems together with associated techniques for system description, analysis and synthesis. A primary aim of the project is to reduce design and development time through use of a set of computer-based tools constituting a design automation system. Criteria for specification techniques are identified. A structured design language is presented which allows a specification to be expressed in an algorithmic form containing sequential and concurrent operations, followed by automatic syntactic and structural correctness checking. Criteria for hardware design methodologies are identified. A system model is described which consists of communicating modules which are synchronised for the purpose of data transfer but which otherwise operate concurrently. Algorithms are presented for the construction of connectivity and reachability matrices representing hierarchical control graphs containing conditional operators. Hardware realisation of the system components is described, and a set of self-timed circuits suitable for the synthesis of both controller and data paths are presented. Other aspects of the design process such as the construction of modular and hierarchical systems are discussed. The concepts and methods introduced are implemented as a design automation system and examples of automatic synthesis are presented.

Year1988
PublisherLondon South Bank University
Digital Object Identifier (DOI)https://doi.org/10.18744/lsbu.956vv
File
License
File Access Level
Open
Publication dates
Print1988
Publication process dates
Deposited01 Nov 2023
Permalink -

https://openresearch.lsbu.ac.uk/item/956vv

Download files


File
1988_PhD_Protheroe.pdf
License: CC BY 4.0
File access level: Open

  • 16
    total views
  • 2
    total downloads
  • 1
    views this month
  • 1
    downloads this month

Export as