Matches in SemOpenAlex for { <https://semopenalex.org/work/W4213304450> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W4213304450 endingPage "31" @default.
- W4213304450 startingPage "1" @default.
- W4213304450 abstract "The target of sequential reverse engineering is to extract the state machine of a design. Sequential reverse engineering of a gate-level netlist consists of the identification of so-called state flip-flops (sFFs), as well as the extraction of the state machine. The second step can be solved with an exact approach if the correct sFFs and the correct reset state are provided. For the first step, several more or less heuristic approaches exist. This work investigates sequential reverse engineering with the objective of a human-readable state machine extraction. A human-readable state machine reflects the original state machine and is not overloaded by additional design information. For this purpose, the work derives a systematic categorization of sFF sets, based on properties of single sFFs and their sets. These properties are determined by analyzing the degrees of freedom in describing state machines as the well-known Moore and Mealy machines. Based on the systematic categorization, this work presents an sFF set definition for a human-readable state machine, categorizes existing sFF identification strategies, and develops four post-processing methods. The results show that post-processing predominantly improves the outcome of several existing sFF identification algorithms." @default.
- W4213304450 created "2022-02-24" @default.
- W4213304450 creator A5010543413 @default.
- W4213304450 creator A5026512033 @default.
- W4213304450 creator A5031924513 @default.
- W4213304450 creator A5052000068 @default.
- W4213304450 date "2022-06-27" @default.
- W4213304450 modified "2023-10-16" @default.
- W4213304450 title "Toward a Human-Readable State Machine Extraction" @default.
- W4213304450 cites W2017650358 @default.
- W4213304450 cites W2026182761 @default.
- W4213304450 cites W2040233798 @default.
- W4213304450 cites W2075773711 @default.
- W4213304450 cites W2091656296 @default.
- W4213304450 cites W2124618076 @default.
- W4213304450 cites W2125910575 @default.
- W4213304450 cites W2140904634 @default.
- W4213304450 cites W2169826705 @default.
- W4213304450 cites W2293426816 @default.
- W4213304450 cites W2336864643 @default.
- W4213304450 cites W2514675746 @default.
- W4213304450 cites W2534652523 @default.
- W4213304450 cites W2891047792 @default.
- W4213304450 cites W2896572950 @default.
- W4213304450 cites W2908649730 @default.
- W4213304450 cites W2952296087 @default.
- W4213304450 cites W3091843862 @default.
- W4213304450 cites W4230627876 @default.
- W4213304450 cites W4234154886 @default.
- W4213304450 doi "https://doi.org/10.1145/3513086" @default.
- W4213304450 hasPublicationYear "2022" @default.
- W4213304450 type Work @default.
- W4213304450 citedByCount "1" @default.
- W4213304450 countsByYear W42133044502022 @default.
- W4213304450 crossrefType "journal-article" @default.
- W4213304450 hasAuthorship W4213304450A5010543413 @default.
- W4213304450 hasAuthorship W4213304450A5026512033 @default.
- W4213304450 hasAuthorship W4213304450A5031924513 @default.
- W4213304450 hasAuthorship W4213304450A5052000068 @default.
- W4213304450 hasConcept C106159729 @default.
- W4213304450 hasConcept C11413529 @default.
- W4213304450 hasConcept C116834253 @default.
- W4213304450 hasConcept C119857082 @default.
- W4213304450 hasConcept C149635348 @default.
- W4213304450 hasConcept C154945302 @default.
- W4213304450 hasConcept C162324750 @default.
- W4213304450 hasConcept C167822520 @default.
- W4213304450 hasConcept C177264268 @default.
- W4213304450 hasConcept C177650935 @default.
- W4213304450 hasConcept C199360897 @default.
- W4213304450 hasConcept C207850805 @default.
- W4213304450 hasConcept C2779795794 @default.
- W4213304450 hasConcept C41008148 @default.
- W4213304450 hasConcept C48103436 @default.
- W4213304450 hasConcept C59822182 @default.
- W4213304450 hasConcept C86803240 @default.
- W4213304450 hasConcept C94124525 @default.
- W4213304450 hasConceptScore W4213304450C106159729 @default.
- W4213304450 hasConceptScore W4213304450C11413529 @default.
- W4213304450 hasConceptScore W4213304450C116834253 @default.
- W4213304450 hasConceptScore W4213304450C119857082 @default.
- W4213304450 hasConceptScore W4213304450C149635348 @default.
- W4213304450 hasConceptScore W4213304450C154945302 @default.
- W4213304450 hasConceptScore W4213304450C162324750 @default.
- W4213304450 hasConceptScore W4213304450C167822520 @default.
- W4213304450 hasConceptScore W4213304450C177264268 @default.
- W4213304450 hasConceptScore W4213304450C177650935 @default.
- W4213304450 hasConceptScore W4213304450C199360897 @default.
- W4213304450 hasConceptScore W4213304450C207850805 @default.
- W4213304450 hasConceptScore W4213304450C2779795794 @default.
- W4213304450 hasConceptScore W4213304450C41008148 @default.
- W4213304450 hasConceptScore W4213304450C48103436 @default.
- W4213304450 hasConceptScore W4213304450C59822182 @default.
- W4213304450 hasConceptScore W4213304450C86803240 @default.
- W4213304450 hasConceptScore W4213304450C94124525 @default.
- W4213304450 hasIssue "6" @default.
- W4213304450 hasLocation W42133044501 @default.
- W4213304450 hasOpenAccess W4213304450 @default.
- W4213304450 hasPrimaryLocation W42133044501 @default.
- W4213304450 hasRelatedWork W2001576302 @default.
- W4213304450 hasRelatedWork W2091835787 @default.
- W4213304450 hasRelatedWork W2293426816 @default.
- W4213304450 hasRelatedWork W2544520265 @default.
- W4213304450 hasRelatedWork W3025043064 @default.
- W4213304450 hasRelatedWork W4213304450 @default.
- W4213304450 hasRelatedWork W4301035209 @default.
- W4213304450 hasRelatedWork W4376473599 @default.
- W4213304450 hasRelatedWork W843695103 @default.
- W4213304450 hasRelatedWork W2144804703 @default.
- W4213304450 hasVolume "27" @default.
- W4213304450 isParatext "false" @default.
- W4213304450 isRetracted "false" @default.
- W4213304450 workType "article" @default.