Title :
Design methodology for system correctness: lessons from the Tandem NonStop CLX
Author_Institution :
Tandem Comput. Inc., Cupertino, CA, USA
fDate :
Feb. 29 1988-March 3 1988
Abstract :
A method is presented that allows a small design group to produce a highly integrated processor quickly. The methodology presented is based on experience designing the CPU for the NonStop CLX. System design correctness issues are examined, and an account of the design and verification process is given. Lessons are drawn from this process, and parallels between the techniques for implementing highly reliable or fault-tolerant systems and the design methodology for system correctness are pointed out. Some GENIE code segments used for design verification of the CLX are given.<>
Keywords :
computer testing; design engineering; fault tolerant computing; logic design; minicomputers; GENESIL functional simulator; GENIE code segments; Tandem NonStop CLX; design correctness; design methodology; design verification; fault-tolerant systems; system correctness; verification; Application specific integrated circuits; Central Processing Unit; Circuit faults; Costs; Design automation; Design methodology; Error correction; Manufacturing; Process design; Silicon;
Conference_Titel :
Compcon Spring '88. Thirty-Third IEEE Computer Society International Conference, Digest of Papers
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
0-8186-0828-5
DOI :
10.1109/CMPCON.1988.4923
