This report gives a complete switch level description of an SECD chip.
The notation used is CDL (Circuit Description Language), which is a high
level interface to a switch level simulator called Mossim. We give this
full documentation in the hope that it can be used as a testbed by others
interested in such issues as design for test and formal verification.
We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at email@example.com