scientific article; zbMATH DE number 1014082

zbMATH Open0876.94057MaRDI QIDQ4337945FDOQ4337945

Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Publication date: 27 May 1997

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

Recommendations

• Publication:4332902
• FSMs state encoding targeting at logic level minimization
• Logic synthesis for VLSI-based combined finite state machines. Synthesis targeting ASICs, CPLDs and FPGAs
• Recoding-derived bounds for input encoding

zbMATH Keywords

Boolean networksfinite state machinesstate assignmentencodabilitygeneralized prime implicantslogical optimizationtwo-level symbolic minimization procedures

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02)

Cited In (11)

• Local encoding transformations for optimizing OBDD-representations of finite state machines
• The realization of finite state machines by decomposition and the principal lattice of partitions of a submodular function.
• Synthesis of finite state machines for CPLDs
• Optimization of a logic circuit implementing a Moore automaton in CPLD basis
• Synthesizing OMT state diagrams
• Title not available (Why is that?)
• FSM Encoding for BDD Representations
• Hardware implementation of code converters designed to reduce the length of binary encoded words
• Principles of logic optimization for a Moore microprogrammed automaton
• An exercise health simulation method based on integrated human thermophysiological model
• Synthesis of the automaton part of optimal logico-dynamical system

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 Q4337945)