THE MOSSIM SPECIFICATION OF THE SECD DESIGN
Date
1989-06-01
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
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.
Description
Keywords
Computer Science