Designing Correct Circuits
Proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96), Bastad, Sweden, 2-4 September 1996
Published on 4. November 1996
Book
Paperback/Softback
VI, 7 pages
978-3-540-76102-0 (ISBN)
Description
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).
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).