scientific article; zbMATH DE number 1014082

MaRDI QIDQ4337945zbMATH OpenFDO

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

Publication date 27 May 1997

zbMATH Keywords

Boolean networksencodabilityfinite state machinesgeneralized prime implicantslogical optimizationstate assignmenttwo-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)

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

Cited in

(14)

• Principles of logic optimization for a Moore microprogrammed automaton
• The realization of finite state machines by decomposition and the principal lattice of partitions of a submodular function.
• Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges
• An exercise health simulation method based on integrated human thermophysiological model
• Finite state machine logic synthesis for complex programmable logic devices
• Synthesis of the automaton part of optimal logico-dynamical system
• Synthesizing OMT state diagrams
• Synthesis of finite state machines for CPLDs
• scientific article; zbMATH DE number 978906 (Why is no real title available?)
• FSM Encoding for BDD Representations
• Local encoding transformations for optimizing OBDD-representations of finite state machines
• Hardware implementation of code converters designed to reduce the length of binary encoded words
• FSMs state encoding targeting at logic level minimization
• Optimization of a logic circuit implementing a Moore automaton in CPLD basis

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)