scientific article; zbMATH DE number 3670361

zbMATH Open0429.94028MaRDI QIDQ3867740FDOQ3867740

Authors: J. Paul Roth 

Publication date: 1980

Title of this publication is not available (Why is that?)

zbMATH Keywords

minimizationsynthesisswitching circuitscomputer designcomputer testingcomputer verification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to information and communication theory (94-01) Software, source code, etc. for problems pertaining to information and communication theory (94-04)

Cited In (3)

• Electronic circuit diagnostic expert systems - a survey
• A complete critical path algorithm for test generation of combinational circuits
• Simplification in a satisfiability checker for VLSI applications

This page was built for publication:

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