Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385969884> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4385969884 abstract "Formal verification of datapath circuits is challenging as they are subject to intense optimization effort in the design phase. Industrial vendors and design companies deploy equivalence checking against a golden or existing reference design to satisfy correctness concerns. State-of-the-art datapath equivalence checking tools deploy a suite of techniques, including rewriting. We propose a rewriting framework deploying bitwidth dependent rewrites based on the e-graph data structure, providing a powerful assistant to existing tools. The e-graph can generate a path of rewrites between the reference and implementation designs that can be checked by a trusted industry tool. We will demonstrate how the intermediate proofs generated by the assistant enable convergence in a state of the art tool, without which the industrial tool runs for 24 hours without making progress. The intermediate proofs automatically introduced by the assistant also reduce the total proof runtime by up to 6x." @default.
- W4385969884 created "2023-08-19" @default.
- W4385969884 creator A5001954641 @default.
- W4385969884 creator A5029829952 @default.
- W4385969884 creator A5034730743 @default.
- W4385969884 creator A5047560439 @default.
- W4385969884 creator A5081902675 @default.
- W4385969884 date "2023-08-01" @default.
- W4385969884 modified "2023-09-25" @default.
- W4385969884 title "Datapath Verification via Word-Level E-Graph Rewriting" @default.
- W4385969884 doi "https://doi.org/10.48550/arxiv.2308.00431" @default.
- W4385969884 hasPublicationYear "2023" @default.
- W4385969884 type Work @default.
- W4385969884 citedByCount "0" @default.
- W4385969884 crossrefType "posted-content" @default.
- W4385969884 hasAuthorship W4385969884A5001954641 @default.
- W4385969884 hasAuthorship W4385969884A5029829952 @default.
- W4385969884 hasAuthorship W4385969884A5034730743 @default.
- W4385969884 hasAuthorship W4385969884A5047560439 @default.
- W4385969884 hasAuthorship W4385969884A5081902675 @default.
- W4385969884 hasBestOaLocation W43859698841 @default.
- W4385969884 hasConcept C108710211 @default.
- W4385969884 hasConcept C111498074 @default.
- W4385969884 hasConcept C118615104 @default.
- W4385969884 hasConcept C132525143 @default.
- W4385969884 hasConcept C149635348 @default.
- W4385969884 hasConcept C154690210 @default.
- W4385969884 hasConcept C199360897 @default.
- W4385969884 hasConcept C2524010 @default.
- W4385969884 hasConcept C2780069185 @default.
- W4385969884 hasConcept C2781198647 @default.
- W4385969884 hasConcept C33923547 @default.
- W4385969884 hasConcept C41008148 @default.
- W4385969884 hasConcept C55439883 @default.
- W4385969884 hasConcept C558772884 @default.
- W4385969884 hasConcept C80444323 @default.
- W4385969884 hasConcept C96654402 @default.
- W4385969884 hasConceptScore W4385969884C108710211 @default.
- W4385969884 hasConceptScore W4385969884C111498074 @default.
- W4385969884 hasConceptScore W4385969884C118615104 @default.
- W4385969884 hasConceptScore W4385969884C132525143 @default.
- W4385969884 hasConceptScore W4385969884C149635348 @default.
- W4385969884 hasConceptScore W4385969884C154690210 @default.
- W4385969884 hasConceptScore W4385969884C199360897 @default.
- W4385969884 hasConceptScore W4385969884C2524010 @default.
- W4385969884 hasConceptScore W4385969884C2780069185 @default.
- W4385969884 hasConceptScore W4385969884C2781198647 @default.
- W4385969884 hasConceptScore W4385969884C33923547 @default.
- W4385969884 hasConceptScore W4385969884C41008148 @default.
- W4385969884 hasConceptScore W4385969884C55439883 @default.
- W4385969884 hasConceptScore W4385969884C558772884 @default.
- W4385969884 hasConceptScore W4385969884C80444323 @default.
- W4385969884 hasConceptScore W4385969884C96654402 @default.
- W4385969884 hasLocation W43859698841 @default.
- W4385969884 hasOpenAccess W4385969884 @default.
- W4385969884 hasPrimaryLocation W43859698841 @default.
- W4385969884 hasRelatedWork W1746660792 @default.
- W4385969884 hasRelatedWork W1790711334 @default.
- W4385969884 hasRelatedWork W200511348 @default.
- W4385969884 hasRelatedWork W2099994752 @default.
- W4385969884 hasRelatedWork W2125998542 @default.
- W4385969884 hasRelatedWork W2164538044 @default.
- W4385969884 hasRelatedWork W2357182103 @default.
- W4385969884 hasRelatedWork W2995665300 @default.
- W4385969884 hasRelatedWork W3005022890 @default.
- W4385969884 hasRelatedWork W3110546598 @default.
- W4385969884 isParatext "false" @default.
- W4385969884 isRetracted "false" @default.
- W4385969884 workType "article" @default.