Designing Correct Circuits

The main theme of the 3rd Workshop on Designing Correct Circuits (DCC96), held in Båstad, Sweden, 2 - 4 September 1996, was the discussion of the very latest advances in hardware verification and correct circuit design techniques. Among the main topics covered are: improving hardware designs by simplifying their proof; an integrated approach to verifying large circuits; deriving handshake modules for a multi-target hardware compiler; and serialising heterogeneous and non-factorisable processor arrays.
The full papers from Designing Correct Circuits are available on-line at: http://www.springer.co.uk/eWiC/Workshops/DCC96.html This booklet provides the passwords needed to access the web site. Purchasing the booklet provides the user with unlimited access to the site for four years (subject, of course, to entry of the correct passwords each time).