A significant portion of a modern digital system can be regarded as a network of many thousands of combinational logic functions. In a Very Large Scale Integration (VLSI) implementation each combinational logic function is realized as a logic gate on a silicon wafer. To synchronize the passage of a signal through a network of logic gates synchronizing elements are used. These inhibit or permit the flow of a signal through the network under the control of a global control signal. A portion of a digital system comprising a network of logic gates connected without feedback is referred to as a combinational logic network. A portion of a digital system containing both combinational logic functions and synchronizing elements is referred to as a synchronous logic network. This thesis is concerned with the development of techniques and theory for the computer aided design of combinational and synchronous logic networks including techniques for: organizing a combinational logic function for a dynamic logic macrocell style of VLSI implementation; rearranging synchronous logic networks with the goal of improving the performance of a VLSI realization and synthesizing logic expression representations of designs from recursive equations in a correctness preserving way. In particular, the following methods for assisting with the design of logic systems are presented: 1. A method for factoring logic equations which allows constraints specific to a dynamic logic macrocell implementation to guide the search for the factored form. 2. A method for retiming multiple phase synchronous logic networks. 3. A method for reorganizing the distribution of logic in a synchronous logic network so that the delay encountered by a signal rippling through the combinational logic between any pair of synchronizing elements is reduced. Particular results obtained from implementations of the methods proposed demonstrate their usefulness for the computer aided design of logic systems.
| Identifer | oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:277243 |
| Date | January 1989 |
| Creators | Fox, Andrew |
| Publisher | University of Aberdeen |
| Source Sets | Ethos UK |
| Detected Language | English |
| Type | Electronic Thesis or Dissertation |
| Source | http://digitool.abdn.ac.uk/R?func=search-advanced-go&find_code1=WSN&request1=AAIU028235 |
Page generated in 0.001 seconds