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,
AuthorsProtheroe, D.
TypePhD Thesis

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.

PublisherLondon South Bank University
Digital Object Identifier (DOI)
File Access Level
Publication dates
Publication process dates
Deposited01 Nov 2023
Permalink -

Download files

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