FRINK Linked Data Fragments server

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

• W2230256814 endingPage "114" @default.
• W2230256814 startingPage "100" @default.
• W2230256814 abstract "This paper presents a formal technique to verify and debug division circuits on fixed point numbers. The proposed technique is based on a reverse-engineering mechanism of obtaining a high level model of the gate level implementation and also introducing an intermediate representation of the specification that makes equivalence checking between two models possible. The main advantage of this representation is the fact that the specification is dynamically updated according to the information obtained from the implementation. At the end, if two updated models are not equivalent, possible bugs can be localized and then corrected automatically by analyzing the difference, if possible. Experimental results show the robustness of the proposed technique in comparison with other contemporary methods in terms of the run time and also show that two orders of magnitude average speedup is obtained." @default.
• W2230256814 created "2016-06-24" @default.
• W2230256814 creator A5014977873 @default.
• W2230256814 creator A5069623023 @default.
• W2230256814 date "2016-03-01" @default.
• W2230256814 modified "2023-09-30" @default.
• W2230256814 title "A dynamic specification to automatically debug and correct various divider circuits" @default.
• W2230256814 cites W1511157305 @default.
• W2230256814 cites W1540389367 @default.
• W2230256814 cites W1974638845 @default.
• W2230256814 cites W1977209207 @default.
• W2230256814 cites W1979903718 @default.
• W2230256814 cites W2005126221 @default.
• W2230256814 cites W2009237570 @default.
• W2230256814 cites W2079983062 @default.
• W2230256814 cites W2108776769 @default.
• W2230256814 cites W2127271657 @default.
• W2230256814 cites W2141808364 @default.
• W2230256814 cites W2142141919 @default.
• W2230256814 cites W2150588291 @default.
• W2230256814 cites W2151042827 @default.
• W2230256814 cites W24139812 @default.
• W2230256814 cites W3150879451 @default.
• W2230256814 cites W4229971477 @default.
• W2230256814 doi "https://doi.org/10.1016/j.vlsi.2015.12.004" @default.
• W2230256814 hasPublicationYear "2016" @default.
• W2230256814 type Work @default.
• W2230256814 sameAs 2230256814 @default.
• W2230256814 citedByCount "5" @default.
• W2230256814 countsByYear W22302568142018 @default.
• W2230256814 countsByYear W22302568142019 @default.
• W2230256814 countsByYear W22302568142020 @default.
• W2230256814 countsByYear W22302568142023 @default.
• W2230256814 crossrefType "journal-article" @default.
• W2230256814 hasAuthorship W2230256814A5014977873 @default.
• W2230256814 hasAuthorship W2230256814A5069623023 @default.
• W2230256814 hasBestOaLocation W22302568141 @default.
• W2230256814 hasConcept C104317684 @default.
• W2230256814 hasConcept C111498074 @default.
• W2230256814 hasConcept C113775141 @default.
• W2230256814 hasConcept C11413529 @default.
• W2230256814 hasConcept C116253237 @default.
• W2230256814 hasConcept C118615104 @default.
• W2230256814 hasConcept C119599485 @default.
• W2230256814 hasConcept C127413603 @default.
• W2230256814 hasConcept C134146338 @default.
• W2230256814 hasConcept C168065819 @default.
• W2230256814 hasConcept C173608175 @default.
• W2230256814 hasConcept C17744445 @default.
• W2230256814 hasConcept C185592680 @default.
• W2230256814 hasConcept C199360897 @default.
• W2230256814 hasConcept C199539241 @default.
• W2230256814 hasConcept C2776359362 @default.
• W2230256814 hasConcept C2780069185 @default.
• W2230256814 hasConcept C33923547 @default.
• W2230256814 hasConcept C41008148 @default.
• W2230256814 hasConcept C55493867 @default.
• W2230256814 hasConcept C63479239 @default.
• W2230256814 hasConcept C68339613 @default.
• W2230256814 hasConcept C80444323 @default.
• W2230256814 hasConcept C94625758 @default.
• W2230256814 hasConcept C96654402 @default.
• W2230256814 hasConceptScore W2230256814C104317684 @default.
• W2230256814 hasConceptScore W2230256814C111498074 @default.
• W2230256814 hasConceptScore W2230256814C113775141 @default.
• W2230256814 hasConceptScore W2230256814C11413529 @default.
• W2230256814 hasConceptScore W2230256814C116253237 @default.
• W2230256814 hasConceptScore W2230256814C118615104 @default.
• W2230256814 hasConceptScore W2230256814C119599485 @default.
• W2230256814 hasConceptScore W2230256814C127413603 @default.
• W2230256814 hasConceptScore W2230256814C134146338 @default.
• W2230256814 hasConceptScore W2230256814C168065819 @default.
• W2230256814 hasConceptScore W2230256814C173608175 @default.
• W2230256814 hasConceptScore W2230256814C17744445 @default.
• W2230256814 hasConceptScore W2230256814C185592680 @default.
• W2230256814 hasConceptScore W2230256814C199360897 @default.
• W2230256814 hasConceptScore W2230256814C199539241 @default.
• W2230256814 hasConceptScore W2230256814C2776359362 @default.
• W2230256814 hasConceptScore W2230256814C2780069185 @default.
• W2230256814 hasConceptScore W2230256814C33923547 @default.
• W2230256814 hasConceptScore W2230256814C41008148 @default.
• W2230256814 hasConceptScore W2230256814C55493867 @default.
• W2230256814 hasConceptScore W2230256814C63479239 @default.
• W2230256814 hasConceptScore W2230256814C68339613 @default.
• W2230256814 hasConceptScore W2230256814C80444323 @default.
• W2230256814 hasConceptScore W2230256814C94625758 @default.
• W2230256814 hasConceptScore W2230256814C96654402 @default.
• W2230256814 hasLocation W22302568141 @default.
• W2230256814 hasOpenAccess W2230256814 @default.
• W2230256814 hasPrimaryLocation W22302568141 @default.
• W2230256814 hasRelatedWork W1989756446 @default.
• W2230256814 hasRelatedWork W2004144979 @default.
• W2230256814 hasRelatedWork W2114946152 @default.
• W2230256814 hasRelatedWork W2118098056 @default.
• W2230256814 hasRelatedWork W2130540187 @default.
• W2230256814 hasRelatedWork W2161772051 @default.
• W2230256814 hasRelatedWork W2951380804 @default.
• W2230256814 hasRelatedWork W3149477534 @default.

• next