scientific article; zbMATH DE number 1014082
zbMATH Open0876.94057MaRDI QIDQ4337945FDOQ4337945
Authors: Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli 
Publication date: 27 May 1997
Title of this publication is not available (Why is that?)
Recommendations
Boolean networksfinite state machinesstate assignmentencodabilitygeneralized prime implicantslogical optimizationtwo-level symbolic minimization procedures
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 (14)
- 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
- FSMs state encoding targeting at logic level minimization
- Finite state machine logic synthesis for complex programmable logic devices
- Hardware implementation of code converters designed to reduce the length of binary encoded words
- Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges
- 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)
