A floating point unit for the 68040

Occam is a parallel programming language which can be used to describe VLSI circuits at several levels of abstraction. For a given piece of hardware one might have one Occam description which is close to the implementation level and another which is close to a specification in a notation such as Z or CSP. Thus a design can be substantially verified by a proof of equivalence of such descriptions. This can sometimes be achieved by using transformations based on the algebraic semantics of Occam and, even where this is not possible, the clean design and semantics of Occam make other formal techniques either easier or more reliable. We discuss several case studies: the floating point unit of the IMS T800 transputer and various aspects of its successor, the IMS T9000. Despite the close relationship, on the surface, of these cases studies, radically different techniques were required for them. Based on this and other evidence, the author believes that one of the most important possessions when starting to tackle problems in hardware verification, at least at current levels of knowledge and technology, is an open mind.

Download Full-text

Floating-Point Unit

Synthesis of Arithmetic Circuits ◽

10.1002/0471741426.ch16 ◽

2006 ◽

pp. 513-548 ◽

Cited By ~ 1

Keyword(s):

Floating Point ◽

Floating Point Unit

Download Full-text

Floating point unit using error correction scheme and modified anticipator

2016 Online International Conference on Green Engineering and Technologies (IC-GET) ◽

10.1109/get.2016.7916706 ◽

2016 ◽

Author(s):

Preeti Khobragade ◽

Prachi Palsodkar

Keyword(s):

Error Correction ◽

Floating Point ◽

Correction Scheme ◽

Floating Point Unit

Download Full-text

A Real-Time Sequence Detection Algorithm for Floating Point Unit Design

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.687-691.3494 ◽

2014 ◽

Vol 687-691 ◽

pp. 3494-3497

Author(s):

Wei Sun ◽

Jun She An ◽

Shuang Yang

Keyword(s):

Fixed Point ◽

Real Time ◽

Detection Algorithm ◽

Time Sequence ◽

Floating Point ◽

Design Data ◽

Sequence Detection ◽

Unit Design ◽

Floating Point Unit ◽

Short Time

Sequence detection is used in many algorithms and applications. Sequences are different depending on different demands. In the process of floating-point CORDIC coprocessor design,data are need to change from floating point format to fixed point format. This process is necessary to detect the number of consecutive zeros. We design the leading-zero-counting algorithm to achieve this function, and this conversion process is completed in a very fixed short time, to ensure the needs of the floating point CORDIC coprocessor.

Download Full-text