Davie, B. S., "Hardware Description Languages: Some Recent Developments", Internal Report CSR-198-86, Department of Computer Science, University of Edinburgh, April 1986. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Hardware Description with Recursion Equations - O'Donnell (1987) (4 citations) (Correct)
....language notation for circuit description, and this leads it to a textual specification of the geometry as well. A good solution must provide the user with a natural notation, without separating the circuit s behavioral and structural descriptions. Davie discusses this and related problems [6]. The set of tools that run under HDRE needs to be extended. For example, a designer might want to specify component placement while allowing an automatic wire router to fill in the interconnections. HDRE doesn t address some of the low level problems that arise in VLSI design, as discussed ....
Davie, B. S., "Hardware Description Languages: Some Recent Developments", Internal Report CSR-198-86, Department of Computer Science, University of Edinburgh, April 1986.
A Methodology for Formal Hardware Verification, with Application.. - Beatty (1993) (11 citations) (Correct)
....in process algebra is poorly suited to data abstraction; to some process algebraicists (e.g. 258] abstraction is merely the hiding of a set of actions. G. Milne s CIRCAL [180] is an adaptation of process algebra to circuits. 3.5. 2 Specification of hardware and processors Although Davie [89] maintains that it is counter intuitive to describe a microprocessor as a state machine, we argue that we can achieve a natural specification if the state machine is kept implicit in a declarative, assertion based notation which describes the instruction set. Boute has advocated declarative ....
....proofs using HOL more tractable by carefully choosing intermediate levels of generic interpreters. By reducing the amount of detail that any one proof must contend with, he was able to reduce dramatically the number of lemmas required to complete a proof. Such work bears out Davie s observation [89] that though the obvious levels at which to describe a processor are very high or very low (i.e. the two levels used in the current thesis) there are actually a wide range of levels available. 9.5.4 Viper Viper (Verifiable Integrated Processor for Enhanced Reliability) is a commercially ....
B. S. Davie. Hardware description languages: some recent developments. Technical report CSR--198--86. University of Edinburgh, April 1986.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC