Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107767416> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2107767416 abstract "The paper presents a formal design methodology for reconfigurable, modular digital controller logic synthesis. The project of embedded controller starts from behavioral, graphical hierarchical and concurrent state machine description in Unified Modeling Language (UML). After the hierarchical encoding of nested and concurrent superstates, the UML state machine diagram can be directly and automatically mapped into the structured array of cells in Field Programmable Gate Array (FPGA). The design process goes through rule-based symbolic assertions on the behavioral level to propositional logic expressions in Register Transfer Level, which are automatically rewritten in Hardware Description Languages (VHDL or Verilog). The transformation from specification to implementation is partially supported by a computer theorem prover changing the symbolic form of complex UML state machine specification given in the Gentzen sequent logic into simple textual rule-based statements. They are directly accepted by commercial HDL tools for simulation and effective logic synthesis." @default.
- W2107767416 created "2016-06-24" @default.
- W2107767416 creator A5060224230 @default.
- W2107767416 date "2009-05-01" @default.
- W2107767416 modified "2023-10-16" @default.
- W2107767416 title "Design of reconfigurable logic controllers from hierarchical UML state machines" @default.
- W2107767416 cites W1487936617 @default.
- W2107767416 cites W1540522725 @default.
- W2107767416 cites W1912715343 @default.
- W2107767416 cites W1963536669 @default.
- W2107767416 cites W2013307783 @default.
- W2107767416 cites W2067103661 @default.
- W2107767416 cites W2091334798 @default.
- W2107767416 cites W2101614169 @default.
- W2107767416 cites W2102028228 @default.
- W2107767416 cites W2107767416 @default.
- W2107767416 cites W2110018574 @default.
- W2107767416 cites W2113623276 @default.
- W2107767416 cites W2127380267 @default.
- W2107767416 cites W2140693826 @default.
- W2107767416 cites W2154330549 @default.
- W2107767416 cites W2492537860 @default.
- W2107767416 cites W4235016839 @default.
- W2107767416 cites W54701845 @default.
- W2107767416 doi "https://doi.org/10.1109/iciea.2009.5138174" @default.
- W2107767416 hasPublicationYear "2009" @default.
- W2107767416 type Work @default.
- W2107767416 sameAs 2107767416 @default.
- W2107767416 citedByCount "7" @default.
- W2107767416 countsByYear W21077674162014 @default.
- W2107767416 countsByYear W21077674162016 @default.
- W2107767416 countsByYear W21077674162017 @default.
- W2107767416 crossrefType "proceedings-article" @default.
- W2107767416 hasAuthorship W2107767416A5060224230 @default.
- W2107767416 hasConcept C101468663 @default.
- W2107767416 hasConcept C11413529 @default.
- W2107767416 hasConcept C131017901 @default.
- W2107767416 hasConcept C157922185 @default.
- W2107767416 hasConcept C167822520 @default.
- W2107767416 hasConcept C199360897 @default.
- W2107767416 hasConcept C2779030575 @default.
- W2107767416 hasConcept C34854456 @default.
- W2107767416 hasConcept C36941000 @default.
- W2107767416 hasConcept C41008148 @default.
- W2107767416 hasConcept C42143788 @default.
- W2107767416 hasConcept C42935608 @default.
- W2107767416 hasConcept C80444323 @default.
- W2107767416 hasConcept C9390403 @default.
- W2107767416 hasConceptScore W2107767416C101468663 @default.
- W2107767416 hasConceptScore W2107767416C11413529 @default.
- W2107767416 hasConceptScore W2107767416C131017901 @default.
- W2107767416 hasConceptScore W2107767416C157922185 @default.
- W2107767416 hasConceptScore W2107767416C167822520 @default.
- W2107767416 hasConceptScore W2107767416C199360897 @default.
- W2107767416 hasConceptScore W2107767416C2779030575 @default.
- W2107767416 hasConceptScore W2107767416C34854456 @default.
- W2107767416 hasConceptScore W2107767416C36941000 @default.
- W2107767416 hasConceptScore W2107767416C41008148 @default.
- W2107767416 hasConceptScore W2107767416C42143788 @default.
- W2107767416 hasConceptScore W2107767416C42935608 @default.
- W2107767416 hasConceptScore W2107767416C80444323 @default.
- W2107767416 hasConceptScore W2107767416C9390403 @default.
- W2107767416 hasLocation W21077674161 @default.
- W2107767416 hasOpenAccess W2107767416 @default.
- W2107767416 hasPrimaryLocation W21077674161 @default.
- W2107767416 hasRelatedWork W1547989843 @default.
- W2107767416 hasRelatedWork W2076782680 @default.
- W2107767416 hasRelatedWork W2171694109 @default.
- W2107767416 hasRelatedWork W2495375883 @default.
- W2107767416 hasRelatedWork W2760927701 @default.
- W2107767416 hasRelatedWork W2976667443 @default.
- W2107767416 hasRelatedWork W2982294623 @default.
- W2107767416 hasRelatedWork W4200462450 @default.
- W2107767416 hasRelatedWork W4312497944 @default.
- W2107767416 hasRelatedWork W635506153 @default.
- W2107767416 isParatext "false" @default.
- W2107767416 isRetracted "false" @default.
- W2107767416 magId "2107767416" @default.
- W2107767416 workType "article" @default.