Skip to main content

Reasoning about imperfect digital systems

Hanna, Keith (1998) Reasoning about imperfect digital systems. In: Moller, Bernhard Moller and Tucker, John V, eds. Prospects for Hardware Foundations ESPRIT Working Group 8533 NADA. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 333-355. ISBN 978-3-540-65461-2. E-ISBN 978-3-540-49254-2. (doi:10.1007/3-540-49254-2_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17797)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL:
http://dx.doi.org/10.1007/3-540-49254-2_10

Abstract

In order to realise digital systems that operate at high speeds or that have very low power consumptions, it is necessary to work directly at the analog level of abstraction, that is, in terms of analog electronic components such as resistors and transistors. Although the external behaviour of such circuits can be described digitally, their internal operation can only be explained by working at the analog level and by taking account of both voltages and currents. This chapter describes how existing methods of specification and formal verification of digital systems can be extended so as to encompass such analog designs in a fully rigorous manner.

Item Type: Book section
DOI/Identification number: 10.1007/3-540-49254-2_10
Uncontrolled keywords: Analog Circuit, Atomic Formula, Bipolar Junction Transistor, Digital Level, Output Terminal
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: R.F. Xu
Date Deposited: 09 Jul 2009 08:45 UTC
Last Modified: 16 Nov 2021 09:55 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/17797 (The current URI for this page, for reference purposes)

University of Kent Author Information

Hanna, Keith.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.