Birtwistle, G.Joyce, J.2008-05-262008-05-261989-06-01http://hdl.handle.net/1880/46594This 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.EngComputer ScienceTHE MOSSIM SPECIFICATION OF THE SECD DESIGNunknown1989-341-0310.11575/PRISM/30394