scientific article; zbMATH DE number 5032602
From MaRDI portal
Publication:5472089
zbMath1149.94016MaRDI QIDQ5472089
Fabio Somenzi, Gary D. Hachtel
Publication date: 15 June 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
test pattern generationlogic synthesisfinite state machinesdesign automationcircuit designverification methods
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Analytic circuit theory (94C05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to information and communication theory (94-01)
Related Items (5)
On Tackling Explanation Redundancy in Decision Trees ⋮ Algorithms for computing minimal equivalent subformulas ⋮ A generalized if-then-else operator for the representation of multi-output functions ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication:
