Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002125840> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2002125840 endingPage "275" @default.
- W2002125840 startingPage "244" @default.
- W2002125840 abstract "In this paper we address the problem of verifying the equivalence of two sequential circuits. State-of-the-art sequential optimization techniques such as retiming and sequential redundancy removal can handle designs with up to hundreds or even thousands of flip-flops. However, the BDD-based approaches for verifying sequential equivalence can easily run into memory explosion for such designs. In an attempt to handle larger circuits, we modify test pattern-generation techniques for verification. The suggested approach utilizes the popular efficient backward-justification technique used in most sequential ATPG programs. We present several techniques to enhance the efficiency of this approach by (1) identifying equivalent flip-flop pairs using an induction-based algorithm, and (2) generalizing the idea of exploring the structural similarity between circuits to perform verification in stages. This ATPG-based framework is suitable for verifying circuits either with or without a reset state. In order to extend this approach to verify retimed circuits, we introduce a delay-compensation-based algorithm for preprocessing the circuits. The experimental results of verifying the correctness of circuits after sequential redundancy removal and retiming with up to several hundred flip-flops are presented." @default.
- W2002125840 created "2016-06-24" @default.
- W2002125840 creator A5017295874 @default.
- W2002125840 creator A5077687075 @default.
- W2002125840 creator A5085636078 @default.
- W2002125840 date "2001-04-01" @default.
- W2002125840 modified "2023-09-26" @default.
- W2002125840 title "Verifying sequential equivalence using ATPG techniques" @default.
- W2002125840 cites W2087656024 @default.
- W2002125840 cites W2125651818 @default.
- W2002125840 cites W2134895197 @default.
- W2002125840 cites W2149107969 @default.
- W2002125840 cites W2161215542 @default.
- W2002125840 cites W3145068981 @default.
- W2002125840 doi "https://doi.org/10.1145/375977.376022" @default.
- W2002125840 hasPublicationYear "2001" @default.
- W2002125840 type Work @default.
- W2002125840 sameAs 2002125840 @default.
- W2002125840 citedByCount "21" @default.
- W2002125840 countsByYear W20021258402013 @default.
- W2002125840 crossrefType "journal-article" @default.
- W2002125840 hasAuthorship W2002125840A5017295874 @default.
- W2002125840 hasAuthorship W2002125840A5077687075 @default.
- W2002125840 hasAuthorship W2002125840A5085636078 @default.
- W2002125840 hasConcept C111498074 @default.
- W2002125840 hasConcept C111919701 @default.
- W2002125840 hasConcept C11413529 @default.
- W2002125840 hasConcept C118615104 @default.
- W2002125840 hasConcept C119599485 @default.
- W2002125840 hasConcept C127413603 @default.
- W2002125840 hasConcept C131017901 @default.
- W2002125840 hasConcept C134146338 @default.
- W2002125840 hasConcept C152124472 @default.
- W2002125840 hasConcept C173608175 @default.
- W2002125840 hasConcept C17626397 @default.
- W2002125840 hasConcept C187075797 @default.
- W2002125840 hasConcept C2780069185 @default.
- W2002125840 hasConcept C33923547 @default.
- W2002125840 hasConcept C41008148 @default.
- W2002125840 hasConcept C41112130 @default.
- W2002125840 hasConcept C55439883 @default.
- W2002125840 hasConcept C81409106 @default.
- W2002125840 hasConcept C96654402 @default.
- W2002125840 hasConceptScore W2002125840C111498074 @default.
- W2002125840 hasConceptScore W2002125840C111919701 @default.
- W2002125840 hasConceptScore W2002125840C11413529 @default.
- W2002125840 hasConceptScore W2002125840C118615104 @default.
- W2002125840 hasConceptScore W2002125840C119599485 @default.
- W2002125840 hasConceptScore W2002125840C127413603 @default.
- W2002125840 hasConceptScore W2002125840C131017901 @default.
- W2002125840 hasConceptScore W2002125840C134146338 @default.
- W2002125840 hasConceptScore W2002125840C152124472 @default.
- W2002125840 hasConceptScore W2002125840C173608175 @default.
- W2002125840 hasConceptScore W2002125840C17626397 @default.
- W2002125840 hasConceptScore W2002125840C187075797 @default.
- W2002125840 hasConceptScore W2002125840C2780069185 @default.
- W2002125840 hasConceptScore W2002125840C33923547 @default.
- W2002125840 hasConceptScore W2002125840C41008148 @default.
- W2002125840 hasConceptScore W2002125840C41112130 @default.
- W2002125840 hasConceptScore W2002125840C55439883 @default.
- W2002125840 hasConceptScore W2002125840C81409106 @default.
- W2002125840 hasConceptScore W2002125840C96654402 @default.
- W2002125840 hasIssue "2" @default.
- W2002125840 hasLocation W20021258401 @default.
- W2002125840 hasOpenAccess W2002125840 @default.
- W2002125840 hasPrimaryLocation W20021258401 @default.
- W2002125840 hasRelatedWork W1597654460 @default.
- W2002125840 hasRelatedWork W2002125840 @default.
- W2002125840 hasRelatedWork W2048768419 @default.
- W2002125840 hasRelatedWork W2057198750 @default.
- W2002125840 hasRelatedWork W2099994752 @default.
- W2002125840 hasRelatedWork W2126468650 @default.
- W2002125840 hasRelatedWork W2153104856 @default.
- W2002125840 hasRelatedWork W2162558294 @default.
- W2002125840 hasRelatedWork W2355703891 @default.
- W2002125840 hasRelatedWork W2123807339 @default.
- W2002125840 hasVolume "6" @default.
- W2002125840 isParatext "false" @default.
- W2002125840 isRetracted "false" @default.
- W2002125840 magId "2002125840" @default.
- W2002125840 workType "article" @default.