Matches in SemOpenAlex for { <https://semopenalex.org/work/W1982275503> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1982275503 abstract "The paper presents a new method for design error correction by edge redirection on High-Level Decision Diagrams (HLDDs). In this paper, a canonical form of HLDDs developed by the authors is applied to automated correction of design errors. We show how realistic design errors can be represented by the redirection-based fault model. The theoretical basis of the approach is presented with the key advantages being the ability to handle multiple errors as well as the fact that the error correction is not restricted by the input stimuli. The method has been evaluated on a set of ITC99 benchmarks and on three real-world cores. Experiments show that the method is capable of correcting multiple design errors in very short run times." @default.
- W1982275503 created "2016-06-24" @default.
- W1982275503 creator A5010286547 @default.
- W1982275503 creator A5010536057 @default.
- W1982275503 creator A5035284738 @default.
- W1982275503 creator A5077891669 @default.
- W1982275503 date "2012-03-01" @default.
- W1982275503 modified "2023-09-27" @default.
- W1982275503 title "Automated correction of design errors by edge redirection on High-Level Decision Diagrams" @default.
- W1982275503 cites W2003233756 @default.
- W1982275503 cites W2071841318 @default.
- W1982275503 cites W2109092163 @default.
- W1982275503 cites W2110066339 @default.
- W1982275503 cites W2139531926 @default.
- W1982275503 cites W2142287934 @default.
- W1982275503 cites W2144058903 @default.
- W1982275503 cites W2151497118 @default.
- W1982275503 cites W2293624369 @default.
- W1982275503 cites W4229529380 @default.
- W1982275503 cites W4230124513 @default.
- W1982275503 doi "https://doi.org/10.1109/isqed.2012.6187566" @default.
- W1982275503 hasPublicationYear "2012" @default.
- W1982275503 type Work @default.
- W1982275503 sameAs 1982275503 @default.
- W1982275503 citedByCount "2" @default.
- W1982275503 countsByYear W19822755032013 @default.
- W1982275503 countsByYear W19822755032014 @default.
- W1982275503 crossrefType "proceedings-article" @default.
- W1982275503 hasAuthorship W1982275503A5010286547 @default.
- W1982275503 hasAuthorship W1982275503A5010536057 @default.
- W1982275503 hasAuthorship W1982275503A5035284738 @default.
- W1982275503 hasAuthorship W1982275503A5077891669 @default.
- W1982275503 hasConcept C103088060 @default.
- W1982275503 hasConcept C11413529 @default.
- W1982275503 hasConcept C154945302 @default.
- W1982275503 hasConcept C162307627 @default.
- W1982275503 hasConcept C177264268 @default.
- W1982275503 hasConcept C199360897 @default.
- W1982275503 hasConcept C26517878 @default.
- W1982275503 hasConcept C38652104 @default.
- W1982275503 hasConcept C41008148 @default.
- W1982275503 hasConceptScore W1982275503C103088060 @default.
- W1982275503 hasConceptScore W1982275503C11413529 @default.
- W1982275503 hasConceptScore W1982275503C154945302 @default.
- W1982275503 hasConceptScore W1982275503C162307627 @default.
- W1982275503 hasConceptScore W1982275503C177264268 @default.
- W1982275503 hasConceptScore W1982275503C199360897 @default.
- W1982275503 hasConceptScore W1982275503C26517878 @default.
- W1982275503 hasConceptScore W1982275503C38652104 @default.
- W1982275503 hasConceptScore W1982275503C41008148 @default.
- W1982275503 hasLocation W19822755031 @default.
- W1982275503 hasOpenAccess W1982275503 @default.
- W1982275503 hasPrimaryLocation W19822755031 @default.
- W1982275503 hasRelatedWork W1794016765 @default.
- W1982275503 hasRelatedWork W2329452785 @default.
- W1982275503 hasRelatedWork W2356380379 @default.
- W1982275503 hasRelatedWork W2363925233 @default.
- W1982275503 hasRelatedWork W2364808845 @default.
- W1982275503 hasRelatedWork W2366284060 @default.
- W1982275503 hasRelatedWork W2375183890 @default.
- W1982275503 hasRelatedWork W2391464953 @default.
- W1982275503 hasRelatedWork W3027915305 @default.
- W1982275503 hasRelatedWork W4206710999 @default.
- W1982275503 isParatext "false" @default.
- W1982275503 isRetracted "false" @default.
- W1982275503 magId "1982275503" @default.
- W1982275503 workType "article" @default.