Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136334354> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3136334354 endingPage "102" @default.
- W3136334354 startingPage "95" @default.
- W3136334354 abstract "Digital integrated circuits represent a driving force in the evolution of high-performance computing and communication required for the implementation of 5G technology. The architecturally demanding nature of scaling down to ever more compact device dimensions has resulted in an increase in logic gate densities up to billions per millimeter square. Given this evolving complexity, formal verification techniques in modern digital very-large-scale integration (VLSI) designs now face a tremendously challenging search space explosion problem. Despite advances in design debugging approaches utilizing CAD tools in order to provide clarified diagnostic descriptions of bug locations, there remains a significant lack of research efforts toward efficient automatic correction approaches following bug location detection. Here, we introduce an enhanced auto-correction algorithm for fixing logic bugs of type - gate replacement, extra and missing inverters. The primary endpoints of the enhanced algorithm are reductions of logic fixing time as well as size of the compulsory injected circuit for selection of optimal designs using SAT engines. Therefore, the proposed correction algorithm avoids the trade-off between high performance and full percentage of accuracy by gradually shrinking the search space without negatively impacting the quality of the rectified design. Our findings indicate that the proposed correction algorithm outperforms previously published tools in terms of average size of injected design to about 1.5x using ISCAS’85 and ISCAS’89 benchmarks. In addition, average speed of generation of rectified digital designs is increased to about 60.73x and 4x in comparison to two recent rectification mechanisms." @default.
- W3136334354 created "2021-03-29" @default.
- W3136334354 creator A5003490280 @default.
- W3136334354 creator A5038437877 @default.
- W3136334354 creator A5075210098 @default.
- W3136334354 date "2021-01-01" @default.
- W3136334354 modified "2023-09-27" @default.
- W3136334354 title "Fast Auto-Correction algorithm for Digital VLSI Circuits" @default.
- W3136334354 cites W1969650917 @default.
- W3136334354 cites W1976743403 @default.
- W3136334354 cites W2028695183 @default.
- W3136334354 cites W2078661369 @default.
- W3136334354 cites W2090852585 @default.
- W3136334354 cites W2144606498 @default.
- W3136334354 cites W2154269166 @default.
- W3136334354 cites W2296261930 @default.
- W3136334354 cites W2586122929 @default.
- W3136334354 cites W2786835848 @default.
- W3136334354 cites W2794340990 @default.
- W3136334354 cites W2888957887 @default.
- W3136334354 cites W3010947439 @default.
- W3136334354 cites W3146084168 @default.
- W3136334354 doi "https://doi.org/10.1016/j.procs.2021.02.013" @default.
- W3136334354 hasPublicationYear "2021" @default.
- W3136334354 type Work @default.
- W3136334354 sameAs 3136334354 @default.
- W3136334354 citedByCount "1" @default.
- W3136334354 countsByYear W31363343542022 @default.
- W3136334354 crossrefType "journal-article" @default.
- W3136334354 hasAuthorship W3136334354A5003490280 @default.
- W3136334354 hasAuthorship W3136334354A5038437877 @default.
- W3136334354 hasAuthorship W3136334354A5075210098 @default.
- W3136334354 hasBestOaLocation W31363343541 @default.
- W3136334354 hasConcept C113775141 @default.
- W3136334354 hasConcept C11413529 @default.
- W3136334354 hasConcept C119599485 @default.
- W3136334354 hasConcept C127413603 @default.
- W3136334354 hasConcept C134146338 @default.
- W3136334354 hasConcept C14580979 @default.
- W3136334354 hasConcept C149635348 @default.
- W3136334354 hasConcept C168065819 @default.
- W3136334354 hasConcept C199360897 @default.
- W3136334354 hasConcept C41008148 @default.
- W3136334354 hasConcept C81843906 @default.
- W3136334354 hasConceptScore W3136334354C113775141 @default.
- W3136334354 hasConceptScore W3136334354C11413529 @default.
- W3136334354 hasConceptScore W3136334354C119599485 @default.
- W3136334354 hasConceptScore W3136334354C127413603 @default.
- W3136334354 hasConceptScore W3136334354C134146338 @default.
- W3136334354 hasConceptScore W3136334354C14580979 @default.
- W3136334354 hasConceptScore W3136334354C149635348 @default.
- W3136334354 hasConceptScore W3136334354C168065819 @default.
- W3136334354 hasConceptScore W3136334354C199360897 @default.
- W3136334354 hasConceptScore W3136334354C41008148 @default.
- W3136334354 hasConceptScore W3136334354C81843906 @default.
- W3136334354 hasLocation W31363343541 @default.
- W3136334354 hasOpenAccess W3136334354 @default.
- W3136334354 hasPrimaryLocation W31363343541 @default.
- W3136334354 hasRelatedWork W103443076 @default.
- W3136334354 hasRelatedWork W1596195519 @default.
- W3136334354 hasRelatedWork W1995218598 @default.
- W3136334354 hasRelatedWork W2026585217 @default.
- W3136334354 hasRelatedWork W2080997801 @default.
- W3136334354 hasRelatedWork W2106392679 @default.
- W3136334354 hasRelatedWork W2151387544 @default.
- W3136334354 hasRelatedWork W2361749746 @default.
- W3136334354 hasRelatedWork W4236261315 @default.
- W3136334354 hasRelatedWork W2884543446 @default.
- W3136334354 hasVolume "182" @default.
- W3136334354 isParatext "false" @default.
- W3136334354 isRetracted "false" @default.
- W3136334354 magId "3136334354" @default.
- W3136334354 workType "article" @default.