Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156193075> ?p ?o ?g. }
- W2156193075 endingPage "745" @default.
- W2156193075 startingPage "737" @default.
- W2156193075 abstract "The removal of redundant states in a finite state machine (FSM) is essential to reducing the complexity of a sequential circuit. An efficient algorithm for state minimization in incompletely specified state machines is presented. This algorithm employs a tight lower bound and a fail-first heuristic and generates a relatively small search space from the prime compatibles. It utilizes efficient pruning rules to further reduce the search space and finds a minimal closed cover. The technique guarantees the elimination of all the redundant states in a very short execution time. Experimental results with a large number of FSMs including the MCNC FSM benchmarks are presented. The results are compared with other work in this area.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W2156193075 created "2016-06-24" @default.
- W2156193075 creator A5032503755 @default.
- W2156193075 creator A5045722906 @default.
- W2156193075 date "1993-06-01" @default.
- W2156193075 modified "2023-09-26" @default.
- W2156193075 title "An efficient algorithm to search for minimal closed covers in sequential machines" @default.
- W2156193075 cites W1840354399 @default.
- W2156193075 cites W1967738867 @default.
- W2156193075 cites W1978711086 @default.
- W2156193075 cites W1993233904 @default.
- W2156193075 cites W1995054258 @default.
- W2156193075 cites W1997745287 @default.
- W2156193075 cites W2026320281 @default.
- W2156193075 cites W2033596386 @default.
- W2156193075 cites W2038068909 @default.
- W2156193075 cites W2063111778 @default.
- W2156193075 cites W2068852367 @default.
- W2156193075 cites W2082909013 @default.
- W2156193075 cites W2098467469 @default.
- W2156193075 cites W2108155410 @default.
- W2156193075 cites W2111758750 @default.
- W2156193075 cites W2116861015 @default.
- W2156193075 cites W2119036374 @default.
- W2156193075 cites W2123900388 @default.
- W2156193075 cites W2139016900 @default.
- W2156193075 cites W2145003588 @default.
- W2156193075 cites W2152605746 @default.
- W2156193075 cites W3140187321 @default.
- W2156193075 cites W4232645518 @default.
- W2156193075 cites W4232856919 @default.
- W2156193075 cites W4237035694 @default.
- W2156193075 cites W4247231097 @default.
- W2156193075 doi "https://doi.org/10.1109/43.229748" @default.
- W2156193075 hasPublicationYear "1993" @default.
- W2156193075 type Work @default.
- W2156193075 sameAs 2156193075 @default.
- W2156193075 citedByCount "19" @default.
- W2156193075 countsByYear W21561930752015 @default.
- W2156193075 countsByYear W21561930752018 @default.
- W2156193075 countsByYear W21561930752021 @default.
- W2156193075 crossrefType "journal-article" @default.
- W2156193075 hasAuthorship W2156193075A5032503755 @default.
- W2156193075 hasAuthorship W2156193075A5045722906 @default.
- W2156193075 hasBestOaLocation W21561930752 @default.
- W2156193075 hasConcept C105795698 @default.
- W2156193075 hasConcept C108010975 @default.
- W2156193075 hasConcept C111919701 @default.
- W2156193075 hasConcept C11413529 @default.
- W2156193075 hasConcept C114614502 @default.
- W2156193075 hasConcept C127413603 @default.
- W2156193075 hasConcept C131017901 @default.
- W2156193075 hasConcept C147764199 @default.
- W2156193075 hasConcept C154945302 @default.
- W2156193075 hasConcept C167822520 @default.
- W2156193075 hasConcept C173801870 @default.
- W2156193075 hasConcept C184992742 @default.
- W2156193075 hasConcept C187075797 @default.
- W2156193075 hasConcept C199360897 @default.
- W2156193075 hasConcept C2778572836 @default.
- W2156193075 hasConcept C2780428219 @default.
- W2156193075 hasConcept C33923547 @default.
- W2156193075 hasConcept C41008148 @default.
- W2156193075 hasConcept C48103436 @default.
- W2156193075 hasConcept C6557445 @default.
- W2156193075 hasConcept C72434380 @default.
- W2156193075 hasConcept C78519656 @default.
- W2156193075 hasConcept C80444323 @default.
- W2156193075 hasConcept C86803240 @default.
- W2156193075 hasConceptScore W2156193075C105795698 @default.
- W2156193075 hasConceptScore W2156193075C108010975 @default.
- W2156193075 hasConceptScore W2156193075C111919701 @default.
- W2156193075 hasConceptScore W2156193075C11413529 @default.
- W2156193075 hasConceptScore W2156193075C114614502 @default.
- W2156193075 hasConceptScore W2156193075C127413603 @default.
- W2156193075 hasConceptScore W2156193075C131017901 @default.
- W2156193075 hasConceptScore W2156193075C147764199 @default.
- W2156193075 hasConceptScore W2156193075C154945302 @default.
- W2156193075 hasConceptScore W2156193075C167822520 @default.
- W2156193075 hasConceptScore W2156193075C173801870 @default.
- W2156193075 hasConceptScore W2156193075C184992742 @default.
- W2156193075 hasConceptScore W2156193075C187075797 @default.
- W2156193075 hasConceptScore W2156193075C199360897 @default.
- W2156193075 hasConceptScore W2156193075C2778572836 @default.
- W2156193075 hasConceptScore W2156193075C2780428219 @default.
- W2156193075 hasConceptScore W2156193075C33923547 @default.
- W2156193075 hasConceptScore W2156193075C41008148 @default.
- W2156193075 hasConceptScore W2156193075C48103436 @default.
- W2156193075 hasConceptScore W2156193075C6557445 @default.
- W2156193075 hasConceptScore W2156193075C72434380 @default.
- W2156193075 hasConceptScore W2156193075C78519656 @default.
- W2156193075 hasConceptScore W2156193075C80444323 @default.
- W2156193075 hasConceptScore W2156193075C86803240 @default.
- W2156193075 hasIssue "6" @default.
- W2156193075 hasLocation W21561930751 @default.
- W2156193075 hasLocation W21561930752 @default.
- W2156193075 hasOpenAccess W2156193075 @default.
- W2156193075 hasPrimaryLocation W21561930751 @default.