FRINK Linked Data Fragments server

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

• W2118780941 abstract "There is a well-recognized need for accurate timing verification tools that account for the functional behavior of component interfaces, and thereby do not traverse false combinational and sequential paths. Such tools, however, are susceptible to an exponential increase in task complexity as the circuit size and functional complexity of components increase. The viability of accurate timing verifiers hinges on their ability to efficiently analyze the smallest subset of circuit behaviors, while verifying the timing characteristics of the overall space of behaviors. This paper presents theoretical results that address this issue for the timing verification of interacting FSMs." @default.
• W2118780941 created "2016-06-24" @default.
• W2118780941 creator A5010253041 @default.
• W2118780941 creator A5013309904 @default.
• W2118780941 date "1997-05-01" @default.
• W2118780941 modified "2023-09-25" @default.
• W2118780941 title "Interface finite-state machines: definition, minimization, and decomposition" @default.
• W2118780941 cites W1543281322 @default.
• W2118780941 cites W1546109728 @default.
• W2118780941 cites W1558754093 @default.
• W2118780941 cites W1841358954 @default.
• W2118780941 cites W2101572961 @default.
• W2118780941 cites W2103059126 @default.
• W2118780941 cites W2111620634 @default.
• W2118780941 cites W2138086100 @default.
• W2118780941 cites W2156162117 @default.
• W2118780941 cites W2157160077 @default.
• W2118780941 cites W2528071613 @default.
• W2118780941 doi "https://doi.org/10.1109/43.631212" @default.
• W2118780941 hasPublicationYear "1997" @default.
• W2118780941 type Work @default.
• W2118780941 sameAs 2118780941 @default.
• W2118780941 citedByCount "1" @default.
• W2118780941 crossrefType "journal-article" @default.
• W2118780941 hasAuthorship W2118780941A5010253041 @default.
• W2118780941 hasAuthorship W2118780941A5013309904 @default.
• W2118780941 hasConcept C105795698 @default.
• W2118780941 hasConcept C113775141 @default.
• W2118780941 hasConcept C113843644 @default.
• W2118780941 hasConcept C11413529 @default.
• W2118780941 hasConcept C121332964 @default.
• W2118780941 hasConcept C124681953 @default.
• W2118780941 hasConcept C127413603 @default.
• W2118780941 hasConcept C129307140 @default.
• W2118780941 hasConcept C13280743 @default.
• W2118780941 hasConcept C147764199 @default.
• W2118780941 hasConcept C149635348 @default.
• W2118780941 hasConcept C157915830 @default.
• W2118780941 hasConcept C167822520 @default.
• W2118780941 hasConcept C168167062 @default.
• W2118780941 hasConcept C173608175 @default.
• W2118780941 hasConcept C176809094 @default.
• W2118780941 hasConcept C179799912 @default.
• W2118780941 hasConcept C18903297 @default.
• W2118780941 hasConcept C199360897 @default.
• W2118780941 hasConcept C201995342 @default.
• W2118780941 hasConcept C205649164 @default.
• W2118780941 hasConcept C2780451532 @default.
• W2118780941 hasConcept C33923547 @default.
• W2118780941 hasConcept C41008148 @default.
• W2118780941 hasConcept C48103436 @default.
• W2118780941 hasConcept C72434380 @default.
• W2118780941 hasConcept C80444323 @default.
• W2118780941 hasConcept C86803240 @default.
• W2118780941 hasConcept C93682380 @default.
• W2118780941 hasConcept C97355855 @default.
• W2118780941 hasConceptScore W2118780941C105795698 @default.
• W2118780941 hasConceptScore W2118780941C113775141 @default.
• W2118780941 hasConceptScore W2118780941C113843644 @default.
• W2118780941 hasConceptScore W2118780941C11413529 @default.
• W2118780941 hasConceptScore W2118780941C121332964 @default.
• W2118780941 hasConceptScore W2118780941C124681953 @default.
• W2118780941 hasConceptScore W2118780941C127413603 @default.
• W2118780941 hasConceptScore W2118780941C129307140 @default.
• W2118780941 hasConceptScore W2118780941C13280743 @default.
• W2118780941 hasConceptScore W2118780941C147764199 @default.
• W2118780941 hasConceptScore W2118780941C149635348 @default.
• W2118780941 hasConceptScore W2118780941C157915830 @default.
• W2118780941 hasConceptScore W2118780941C167822520 @default.
• W2118780941 hasConceptScore W2118780941C168167062 @default.
• W2118780941 hasConceptScore W2118780941C173608175 @default.
• W2118780941 hasConceptScore W2118780941C176809094 @default.
• W2118780941 hasConceptScore W2118780941C179799912 @default.
• W2118780941 hasConceptScore W2118780941C18903297 @default.
• W2118780941 hasConceptScore W2118780941C199360897 @default.
• W2118780941 hasConceptScore W2118780941C201995342 @default.
• W2118780941 hasConceptScore W2118780941C205649164 @default.
• W2118780941 hasConceptScore W2118780941C2780451532 @default.
• W2118780941 hasConceptScore W2118780941C33923547 @default.
• W2118780941 hasConceptScore W2118780941C41008148 @default.
• W2118780941 hasConceptScore W2118780941C48103436 @default.
• W2118780941 hasConceptScore W2118780941C72434380 @default.
• W2118780941 hasConceptScore W2118780941C80444323 @default.
• W2118780941 hasConceptScore W2118780941C86803240 @default.
• W2118780941 hasConceptScore W2118780941C93682380 @default.
• W2118780941 hasConceptScore W2118780941C97355855 @default.
• W2118780941 hasLocation W21187809411 @default.
• W2118780941 hasOpenAccess W2118780941 @default.
• W2118780941 hasPrimaryLocation W21187809411 @default.
• W2118780941 hasRelatedWork W1491449306 @default.
• W2118780941 hasRelatedWork W1561021211 @default.
• W2118780941 hasRelatedWork W1603418281 @default.
• W2118780941 hasRelatedWork W1603504583 @default.
• W2118780941 hasRelatedWork W1604756673 @default.
• W2118780941 hasRelatedWork W1953237395 @default.
• W2118780941 hasRelatedWork W1978440202 @default.
• W2118780941 hasRelatedWork W2000338814 @default.
• W2118780941 hasRelatedWork W2017906722 @default.
• W2118780941 hasRelatedWork W2035401850 @default.
• W2118780941 hasRelatedWork W2039866288 @default.

• next