scientific article; zbMATH DE number 1014082
From MaRDI portal
Publication:4337945
zbMath0876.94057MaRDI QIDQ4337945
Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Publication date: 27 May 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boolean networksfinite state machinesstate assignmentencodabilitygeneralized prime implicantslogical optimizationtwo-level symbolic minimization procedures
Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (4)
Synthesis of finite state machines for CPLDs ⋮ Hardware implementation of code converters designed to reduce the length of binary encoded words ⋮ An exercise health simulation method based on integrated human thermophysiological model ⋮ FSM Encoding for BDD Representations
This page was built for publication:
