This paper examines a range of techniques for the design, implementation, and verification of a serial Cellular Automata Machine. Three different approaches for the design of the Serial Parallel Extendible Scalable Cellular Automata Machine are examined including a high-level description using the formal specificationlanguage CSP, an intermediate behavioral-level design in VHDL, and a detailed logic-level design using Logic 111.A comparison of the three approaches is provided based on the following criteria: speed, size, assurance, and the ease and flexibility of design.