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
Authors | Protheroe, D. |
---|---|
Type | PhD 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. |
Year | 1988 |
Publisher | London South Bank University |
Digital Object Identifier (DOI) | https://doi.org/10.18744/lsbu.956vv |
File | License File Access Level Open |
Publication dates | |
1988 | |
Publication process dates | |
Deposited | 01 Nov 2023 |
https://openresearch.lsbu.ac.uk/item/956vv
Download files
40
total views66
total downloads3
views this month5
downloads this month