FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2536825101> ?p ?o ?g. }

• W2536825101 endingPage "102" @default.
• W2536825101 startingPage "99" @default.
• W2536825101 abstract "This research aims at verifying the abstract specification levels of standard hardware description languages (we use VHDL [IE931). HLS translates a behavioral description, written as one or more processes, into an abstract automaton in which the states correspond to decision and synchronization points, and operations of the behavioral algorithm are executed on the state transitions [JD97]. After the allocation of the functional units to the operations, and their scheduling, the system is modeled as the interconnection of two modules: (1) an operative (or data) part, which contains the data registers, operators, multiplexers and busses; (2) a control part, which generates the control signals of the operative part, and the sequence of steps to perform the overall computation." @default.
• W2536825101 created "2016-10-28" @default.
• W2536825101 creator A5005395622 @default.
• W2536825101 creator A5035230904 @default.
• W2536825101 creator A5063371658 @default.
• W2536825101 date "1998-01-30" @default.
• W2536825101 modified "2023-09-23" @default.
• W2536825101 title "Formalization of finite state machines with data path for the verification of high-level synthesis" @default.
• W2536825101 cites W1567363020 @default.
• W2536825101 cites W1992006255 @default.
• W2536825101 cites W2080267935 @default.
• W2536825101 cites W2081272455 @default.
• W2536825101 cites W2099078002 @default.
• W2536825101 cites W2108885461 @default.
• W2536825101 cites W2152985659 @default.
• W2536825101 cites W2171318521 @default.
• W2536825101 cites W2493328864 @default.
• W2536825101 doi "https://doi.org/10.5555/552517.829443" @default.
• W2536825101 hasPublicationYear "1998" @default.
• W2536825101 type Work @default.
• W2536825101 sameAs 2536825101 @default.
• W2536825101 citedByCount "0" @default.
• W2536825101 crossrefType "proceedings-article" @default.
• W2536825101 hasAuthorship W2536825101A5005395622 @default.
• W2536825101 hasAuthorship W2536825101A5035230904 @default.
• W2536825101 hasAuthorship W2536825101A5063371658 @default.
• W2536825101 hasConcept C112505250 @default.
• W2536825101 hasConcept C127162648 @default.
• W2536825101 hasConcept C149635348 @default.
• W2536825101 hasConcept C162324750 @default.
• W2536825101 hasConcept C167822520 @default.
• W2536825101 hasConcept C173608175 @default.
• W2536825101 hasConcept C19275194 @default.
• W2536825101 hasConcept C199360897 @default.
• W2536825101 hasConcept C206729178 @default.
• W2536825101 hasConcept C21547014 @default.
• W2536825101 hasConcept C2778562939 @default.
• W2536825101 hasConcept C31258907 @default.
• W2536825101 hasConcept C36941000 @default.
• W2536825101 hasConcept C41008148 @default.
• W2536825101 hasConcept C42143788 @default.
• W2536825101 hasConcept C42935608 @default.
• W2536825101 hasConcept C45374587 @default.
• W2536825101 hasConcept C48103436 @default.
• W2536825101 hasConcept C58013763 @default.
• W2536825101 hasConcept C70970002 @default.
• W2536825101 hasConcept C75949130 @default.
• W2536825101 hasConcept C76155785 @default.
• W2536825101 hasConcept C80444323 @default.
• W2536825101 hasConcept C84511453 @default.
• W2536825101 hasConceptScore W2536825101C112505250 @default.
• W2536825101 hasConceptScore W2536825101C127162648 @default.
• W2536825101 hasConceptScore W2536825101C149635348 @default.
• W2536825101 hasConceptScore W2536825101C162324750 @default.
• W2536825101 hasConceptScore W2536825101C167822520 @default.
• W2536825101 hasConceptScore W2536825101C173608175 @default.
• W2536825101 hasConceptScore W2536825101C19275194 @default.
• W2536825101 hasConceptScore W2536825101C199360897 @default.
• W2536825101 hasConceptScore W2536825101C206729178 @default.
• W2536825101 hasConceptScore W2536825101C21547014 @default.
• W2536825101 hasConceptScore W2536825101C2778562939 @default.
• W2536825101 hasConceptScore W2536825101C31258907 @default.
• W2536825101 hasConceptScore W2536825101C36941000 @default.
• W2536825101 hasConceptScore W2536825101C41008148 @default.
• W2536825101 hasConceptScore W2536825101C42143788 @default.
• W2536825101 hasConceptScore W2536825101C42935608 @default.
• W2536825101 hasConceptScore W2536825101C45374587 @default.
• W2536825101 hasConceptScore W2536825101C48103436 @default.
• W2536825101 hasConceptScore W2536825101C58013763 @default.
• W2536825101 hasConceptScore W2536825101C70970002 @default.
• W2536825101 hasConceptScore W2536825101C75949130 @default.
• W2536825101 hasConceptScore W2536825101C76155785 @default.
• W2536825101 hasConceptScore W2536825101C80444323 @default.
• W2536825101 hasConceptScore W2536825101C84511453 @default.
• W2536825101 hasLocation W25368251011 @default.
• W2536825101 hasOpenAccess W2536825101 @default.
• W2536825101 hasPrimaryLocation W25368251011 @default.
• W2536825101 hasRelatedWork W1603043372 @default.
• W2536825101 hasRelatedWork W2013307783 @default.
• W2536825101 hasRelatedWork W2096763642 @default.
• W2536825101 hasRelatedWork W2099285313 @default.
• W2536825101 hasRelatedWork W2101344045 @default.
• W2536825101 hasRelatedWork W2104828833 @default.
• W2536825101 hasRelatedWork W2106964213 @default.
• W2536825101 hasRelatedWork W2109059264 @default.
• W2536825101 hasRelatedWork W2110804891 @default.
• W2536825101 hasRelatedWork W2110919655 @default.
• W2536825101 hasRelatedWork W2117419826 @default.
• W2536825101 hasRelatedWork W2140735019 @default.
• W2536825101 hasRelatedWork W2151920523 @default.
• W2536825101 hasRelatedWork W2164376138 @default.
• W2536825101 hasRelatedWork W2166369529 @default.
• W2536825101 hasRelatedWork W2538831380 @default.
• W2536825101 hasRelatedWork W2539351365 @default.
• W2536825101 hasRelatedWork W2547044811 @default.
• W2536825101 hasRelatedWork W2768345838 @default.
• W2536825101 hasRelatedWork W2544359263 @default.
• W2536825101 isParatext "false" @default.

• next