THE MOSSIM SPECIFICATION OF THE SECD DESIGN
dc.contributor.author | Birtwistle, G. | eng |
dc.contributor.author | Joyce, J. | eng |
dc.date.accessioned | 2008-05-26T20:33:07Z | |
dc.date.available | 2008-05-26T20:33:07Z | |
dc.date.computerscience | 1999-05-27 | eng |
dc.date.issued | 1989-06-01 | eng |
dc.description.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. | eng |
dc.description.notes | 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 digitize@ucalgary.ca | eng |
dc.identifier.department | 1989-341-03 | eng |
dc.identifier.doi | http://dx.doi.org/10.11575/PRISM/30394 | |
dc.identifier.uri | http://hdl.handle.net/1880/46594 | |
dc.language.iso | Eng | eng |
dc.publisher.corporate | University of Calgary | eng |
dc.publisher.faculty | Science | eng |
dc.subject | Computer Science | eng |
dc.title | THE MOSSIM SPECIFICATION OF THE SECD DESIGN | eng |
dc.type | unknown | |
thesis.degree.discipline | Computer Science | eng |