Combinational circuit design verification using SETS
By: Lawrence H. Goldstein, 2113, Richard B. Worrell, Division 1758, Sandia Laboratories ; prepared by Sandia Laboratories ... for the United States Department of Energy under contract AT(29-1)-789
Contributors: Worrell, Richard B., joint author; United States. Dept. of Energy; Sandia Laboratories. Computer-Aided Design Division 2113; Sandia Laboratories. Safeguards Evaluation Division 1758
Series: SAND ; 1933
Publisher: Dept. of Energy, Sandia Laboratories; for sale by the National Technical Information Service]
Published: 1978
Place of publication: Albuquerque, N.M; [Springfield, Va
Language: eng
Number of pages: 23
Subjects: Algebra, Boolean; Combinatorial set theory
Notes: Oct. 1978

Includes bibliographical references