Browsing by Author "Stone, Glen"

Now showing 1 - 2 of 2
  • Thumbnail Image
    ItemOpen Access
    THE IMPLEMENTATION AND VERIFICATION OF A CONDITIONAL SUM ADDER
    (1988-07-01) Han, Jungang; Stone, Glen
    In this paper we first formulate the Conditional Sum Addition (CSA) algorithm, then design an area-time efficient Conditional Sum Adder in CMOS. We also design a Binary Look-ahead Carry adder and a fast ripple carry adder in the same technology for the comparison of their performances. Finally we formally prove that the CMOS implementation of the CSA adder is correct (i.e. the implementation meets the specification of the intended behavior) by using Mike Gordon's Higher Order Logic (HOL) system.
  • Thumbnail Image
    ItemOpen Access
    OPERATING SPECIFICATION FOR THE SECD CHIP
    (1989-06-01) Graham, Brian; Williams, Simon; Stone, Glen
    This paper gives an operating specification for the SECD chip, which implements Landin's abstract SECD architecture. It is intended to serve as a guide for the design of a chip controller, and includes details of packaging, memory, operating protocols, and guidelines for testing.