Test Routines Based on Symbolic Logical Statements

DOI10.1145/320954.320957MaRDI QIDQ3259305zbMATH OpenOpenAlexWikidataFDO

Authors Richard D. Eldred

Publication date 1959

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/320954.320957

zbMATH Keywords

numerical analysis

Cited in

(2)

• Efficient VLSI fault simulation
• Diagnosis of constant faults in iteration-free circuits over monotone basis

This page was built for publication: Test Routines Based on Symbolic Logical Statements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3259305)