Design methodology for system correctness: lessons from the Tandem NonStop CLX

Author

Fu, Peter L.

Author_Institution

Tandem Comput. Inc., Cupertino, CA, USA

fYear

1988

fDate

Feb. 29 1988-March 3 1988

Firstpage

525

Lastpage

530

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CMPCON.1988.4923

Filename

4923