Birtwistle, G.Graham, B.Joyce, J.Williams, S.Brinsmead, M.Keefe, M.Kroeker, W.Liblong, B.Vollmerhaus, W.2008-05-262008-05-261989-06-01http://hdl.handle.net/1880/46595We describe work completed on the design, informal specification, and layout of a custom SECD machine. The chip contains around 25,000 transistors excluding memory cells. The work is part of a long term project which aims to support specification based VLSI design, build a library of cell and sub-system specifications, and investigate algorithms for transforming from specifications to other views.EngComputer Scienceunknown1989-354-16http://dx.doi.org/10.11575/PRISM/30396