Behavioural specification and simulation of minimum configuration computer systems.

GORTON, Ian. (1988). Behavioural specification and simulation of minimum configuration computer systems. Doctoral, Sheffield Hallam University (United Kingdom)..

PDF (Version of Record)
10697008.pdf - Accepted Version
All rights reserved.

Download (4MB) | Preview


The ultimate goal of Computer-Aided Design research in the area of digital circuits is the automatic synthesis of a complete solution from a behavioural specification. This thesis describes an attempt to attain this ideal in the more limited realm of designing single-board control systems, constructed from general-purpose microprocessor components. The difficulties currently encountered in designing and implementing microprocessor control systems are outlined, and the architecture of an integrated, knowledge-based design system is proposed as a method of overcoming these difficulties. The design system encompasses both behavioural and structural design functions. However, only the tools and techniques required to fulfil the behavioural design functions are considered in detail in this project.A review of previous work in the field of automated digital circuit design and software and hardware specification languages is presented. The major features of a novel language for specifying and simulating control system behaviour are then described, together with an intermediate design description notation, which facilitates the generation of microprocessor assembly language code directly from behavioural specifications. The design and implementation of a fast, generalised microprocessor simulation facility constructed from transputers is discussed, and its performance potential analysed. The simulation facility enables the complete design for a given application to be tested, before any actual hardware construction takes place. Finally, an evaluation of the behavioural specification, synthesis and simulation techniques developed in this project is presented, and the benefits perceived from adopting such techniques are summarised. Issues concerning the integration of these techniques with the knowledge-based structural design tools are also dealt with, and suggestions for further developments and enhancements are identified.

Item Type: Thesis (Doctoral)
Additional Information: Thesis (Ph.D.)--Sheffield Hallam University (United Kingdom), 1988.
Research Institute, Centre or Group - Does NOT include content added after October 2018: Sheffield Hallam Doctoral Theses
Depositing User: EPrints Services
Date Deposited: 10 Apr 2018 17:19
Last Modified: 26 Apr 2021 11:49

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics