Matches in SemOpenAlex for { <https://semopenalex.org/work/W2895040814> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2895040814 endingPage "1950163" @default.
- W2895040814 startingPage "1950163" @default.
- W2895040814 abstract "The growing complexity of digital designs makes it harder to discover inconsistency between system-level model (SLM) and register transfer-level (RTL) model. Equivalence checking is a promising solution to verify that the RTL description meets the requirements of the corresponding SLM description. However, the previously proposed formal equivalence checking approaches cannot handle designs if the mapping information is not given beforehand. Deep state sequences (DSSs)-based equivalence checking approach is the state-of-the-art equivalence checking approach based on Finite State Machines with Data Paths (FSMDs). But previously proposed DSS-based equivalence checking approach compared all the path-pairs blindly without pre-given mapping information, which wasted most verification efforts on useless comparisons. This paper proposes a novel DSS-based equivalence checking approach which can handle designs without pre-given mapping information and improve verification efficiency. Simulation technique is first used in our approach to generate mapping information of paths between SLM and RTL. With the generated mapping information, our approach can handle designs without pre-given mapping information. Only the generated corresponding path-pairs need to be compared by symbolic simulation, which improves the verification efficiency without blind comparisons. The experimental results show that the proposed approach can handle designs without pre-given mapping information and improve the efficiency of equivalence checking." @default.
- W2895040814 created "2018-10-12" @default.
- W2895040814 creator A5031393277 @default.
- W2895040814 creator A5073968910 @default.
- W2895040814 creator A5084681436 @default.
- W2895040814 date "2019-09-01" @default.
- W2895040814 modified "2023-10-08" @default.
- W2895040814 title "Formal Equivalence Checking Between System-Level and RTL Descriptions without Pre-Given Mapping Information" @default.
- W2895040814 cites W1982205631 @default.
- W2895040814 cites W2003210967 @default.
- W2895040814 cites W2021276026 @default.
- W2895040814 cites W2024158551 @default.
- W2895040814 cites W2036107243 @default.
- W2895040814 cites W2040082102 @default.
- W2895040814 cites W2091152454 @default.
- W2895040814 cites W2114398233 @default.
- W2895040814 cites W2116037109 @default.
- W2895040814 cites W2134735506 @default.
- W2895040814 cites W2176581918 @default.
- W2895040814 cites W2493328864 @default.
- W2895040814 cites W3141331497 @default.
- W2895040814 cites W3147121795 @default.
- W2895040814 doi "https://doi.org/10.1142/s0218126619501639" @default.
- W2895040814 hasPublicationYear "2019" @default.
- W2895040814 type Work @default.
- W2895040814 sameAs 2895040814 @default.
- W2895040814 citedByCount "2" @default.
- W2895040814 countsByYear W28950408142020 @default.
- W2895040814 crossrefType "journal-article" @default.
- W2895040814 hasAuthorship W2895040814A5031393277 @default.
- W2895040814 hasAuthorship W2895040814A5073968910 @default.
- W2895040814 hasAuthorship W2895040814A5084681436 @default.
- W2895040814 hasConcept C110251889 @default.
- W2895040814 hasConcept C111498074 @default.
- W2895040814 hasConcept C11413529 @default.
- W2895040814 hasConcept C118615104 @default.
- W2895040814 hasConcept C2780069185 @default.
- W2895040814 hasConcept C30888246 @default.
- W2895040814 hasConcept C33923547 @default.
- W2895040814 hasConcept C41008148 @default.
- W2895040814 hasConcept C80444323 @default.
- W2895040814 hasConcept C96654402 @default.
- W2895040814 hasConceptScore W2895040814C110251889 @default.
- W2895040814 hasConceptScore W2895040814C111498074 @default.
- W2895040814 hasConceptScore W2895040814C11413529 @default.
- W2895040814 hasConceptScore W2895040814C118615104 @default.
- W2895040814 hasConceptScore W2895040814C2780069185 @default.
- W2895040814 hasConceptScore W2895040814C30888246 @default.
- W2895040814 hasConceptScore W2895040814C33923547 @default.
- W2895040814 hasConceptScore W2895040814C41008148 @default.
- W2895040814 hasConceptScore W2895040814C80444323 @default.
- W2895040814 hasConceptScore W2895040814C96654402 @default.
- W2895040814 hasFunder F4320321001 @default.
- W2895040814 hasIssue "10" @default.
- W2895040814 hasLocation W28950408141 @default.
- W2895040814 hasOpenAccess W2895040814 @default.
- W2895040814 hasPrimaryLocation W28950408141 @default.
- W2895040814 hasRelatedWork W1915669309 @default.
- W2895040814 hasRelatedWork W206281402 @default.
- W2895040814 hasRelatedWork W2122041181 @default.
- W2895040814 hasRelatedWork W2164310930 @default.
- W2895040814 hasRelatedWork W2374227429 @default.
- W2895040814 hasRelatedWork W2895040814 @default.
- W2895040814 hasRelatedWork W3046927439 @default.
- W2895040814 hasRelatedWork W3147623613 @default.
- W2895040814 hasRelatedWork W4230644986 @default.
- W2895040814 hasRelatedWork W4296970324 @default.
- W2895040814 hasVolume "28" @default.
- W2895040814 isParatext "false" @default.
- W2895040814 isRetracted "false" @default.
- W2895040814 magId "2895040814" @default.
- W2895040814 workType "article" @default.