Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247158518> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4247158518 abstract "We present a formal approach to minimize the number of voters in triple-modular redundant sequential circuits. Our technique actually works on a single copy of the circuit and considers a user-defined fault model (under the form “at most 1 bit-flip every k clock cycles”). Verification-based voter minimization guarantees that the resulting circuit (i) is fault tolerant to the soft-errors defined by the fault model and (ii) is functionally equivalent to the initial one. Our approach operates at the logic level and takes into account the input and output interface specifications of the circuit. Its implementation makes use of graph traversal algorithms, fixed-point iterations, and BDDs. Experimental results on the ITC'99 benchmark suite indicate that our method significantly decreases the number of inserted voters which entails a hardware reduction of up to 55% and a clock frequency increase of up to 35% compared to full TMR. We address scalability issues arising from formal verification with approximations and assess their efficiency and precision." @default.
- W4247158518 created "2022-05-12" @default.
- W4247158518 creator A5020402638 @default.
- W4247158518 creator A5022118037 @default.
- W4247158518 creator A5039050781 @default.
- W4247158518 date "2014-01-01" @default.
- W4247158518 modified "2023-09-23" @default.
- W4247158518 title "Verification-guided voter minimization in triple-modular redundant circuits" @default.
- W4247158518 doi "https://doi.org/10.7873/date2014.105" @default.
- W4247158518 hasPublicationYear "2014" @default.
- W4247158518 type Work @default.
- W4247158518 citedByCount "0" @default.
- W4247158518 crossrefType "proceedings-article" @default.
- W4247158518 hasAuthorship W4247158518A5020402638 @default.
- W4247158518 hasAuthorship W4247158518A5022118037 @default.
- W4247158518 hasAuthorship W4247158518A5039050781 @default.
- W4247158518 hasConcept C101468663 @default.
- W4247158518 hasConcept C111498074 @default.
- W4247158518 hasConcept C113775141 @default.
- W4247158518 hasConcept C11413529 @default.
- W4247158518 hasConcept C13280743 @default.
- W4247158518 hasConcept C140745168 @default.
- W4247158518 hasConcept C147764199 @default.
- W4247158518 hasConcept C185798385 @default.
- W4247158518 hasConcept C199360897 @default.
- W4247158518 hasConcept C205649164 @default.
- W4247158518 hasConcept C41008148 @default.
- W4247158518 hasConcept C48044578 @default.
- W4247158518 hasConcept C77088390 @default.
- W4247158518 hasConcept C96654402 @default.
- W4247158518 hasConceptScore W4247158518C101468663 @default.
- W4247158518 hasConceptScore W4247158518C111498074 @default.
- W4247158518 hasConceptScore W4247158518C113775141 @default.
- W4247158518 hasConceptScore W4247158518C11413529 @default.
- W4247158518 hasConceptScore W4247158518C13280743 @default.
- W4247158518 hasConceptScore W4247158518C140745168 @default.
- W4247158518 hasConceptScore W4247158518C147764199 @default.
- W4247158518 hasConceptScore W4247158518C185798385 @default.
- W4247158518 hasConceptScore W4247158518C199360897 @default.
- W4247158518 hasConceptScore W4247158518C205649164 @default.
- W4247158518 hasConceptScore W4247158518C41008148 @default.
- W4247158518 hasConceptScore W4247158518C48044578 @default.
- W4247158518 hasConceptScore W4247158518C77088390 @default.
- W4247158518 hasConceptScore W4247158518C96654402 @default.
- W4247158518 hasLocation W42471585181 @default.
- W4247158518 hasLocation W42471585182 @default.
- W4247158518 hasOpenAccess W4247158518 @default.
- W4247158518 hasPrimaryLocation W42471585181 @default.
- W4247158518 hasRelatedWork W112744582 @default.
- W4247158518 hasRelatedWork W1618682955 @default.
- W4247158518 hasRelatedWork W1983158716 @default.
- W4247158518 hasRelatedWork W2034695828 @default.
- W4247158518 hasRelatedWork W2101159578 @default.
- W4247158518 hasRelatedWork W2165434233 @default.
- W4247158518 hasRelatedWork W2546697698 @default.
- W4247158518 hasRelatedWork W2943428332 @default.
- W4247158518 hasRelatedWork W3136744003 @default.
- W4247158518 hasRelatedWork W4280619382 @default.
- W4247158518 isParatext "false" @default.
- W4247158518 isRetracted "false" @default.
- W4247158518 workType "article" @default.