Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079771879> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2079771879 endingPage "158" @default.
- W2079771879 startingPage "137" @default.
- W2079771879 abstract "The existence of false paths represents a significant and computationally complex problem in the estimation of the true delay of combinational and sequential circuits. In this article we conduct a comprehensive study of modeling circuit delay computation, accounting for false paths, as a sequence of instances of Boolean satisfiability. Several path sensitization models and delay models are studied. In addition we evaluate some of the most competitive Boolean satisfiability algorithms seeking to identify which are best suited for solving circuit delay computation problems. Finally, realistic delay modeling (taking into account extracted interconnect delays and fanout data) is considered in order to experimentally evaluate the complexity of solving real-world instances." @default.
- W2079771879 created "2016-06-24" @default.
- W2079771879 creator A5002246957 @default.
- W2079771879 creator A5052100713 @default.
- W2079771879 creator A5074463063 @default.
- W2079771879 creator A5077314055 @default.
- W2079771879 date "2002-01-01" @default.
- W2079771879 modified "2023-09-23" @default.
- W2079771879 title "Satisfiability models and algorithms for circuit delay computation" @default.
- W2079771879 cites W2062897452 @default.
- W2079771879 cites W2160444875 @default.
- W2079771879 doi "https://doi.org/10.1145/504914.504920" @default.
- W2079771879 hasPublicationYear "2002" @default.
- W2079771879 type Work @default.
- W2079771879 sameAs 2079771879 @default.
- W2079771879 citedByCount "30" @default.
- W2079771879 countsByYear W20797718792012 @default.
- W2079771879 countsByYear W20797718792013 @default.
- W2079771879 countsByYear W20797718792015 @default.
- W2079771879 countsByYear W20797718792017 @default.
- W2079771879 countsByYear W20797718792020 @default.
- W2079771879 crossrefType "journal-article" @default.
- W2079771879 hasAuthorship W2079771879A5002246957 @default.
- W2079771879 hasAuthorship W2079771879A5052100713 @default.
- W2079771879 hasAuthorship W2079771879A5074463063 @default.
- W2079771879 hasAuthorship W2079771879A5077314055 @default.
- W2079771879 hasConcept C11413529 @default.
- W2079771879 hasConcept C131017901 @default.
- W2079771879 hasConcept C141796577 @default.
- W2079771879 hasConcept C168773769 @default.
- W2079771879 hasConcept C174086752 @default.
- W2079771879 hasConcept C187455244 @default.
- W2079771879 hasConcept C199360897 @default.
- W2079771879 hasConcept C2777735758 @default.
- W2079771879 hasConcept C31258907 @default.
- W2079771879 hasConcept C41008148 @default.
- W2079771879 hasConcept C45374587 @default.
- W2079771879 hasConcept C6943359 @default.
- W2079771879 hasConcept C80444323 @default.
- W2079771879 hasConcept C81409106 @default.
- W2079771879 hasConcept C84434228 @default.
- W2079771879 hasConcept C90806461 @default.
- W2079771879 hasConceptScore W2079771879C11413529 @default.
- W2079771879 hasConceptScore W2079771879C131017901 @default.
- W2079771879 hasConceptScore W2079771879C141796577 @default.
- W2079771879 hasConceptScore W2079771879C168773769 @default.
- W2079771879 hasConceptScore W2079771879C174086752 @default.
- W2079771879 hasConceptScore W2079771879C187455244 @default.
- W2079771879 hasConceptScore W2079771879C199360897 @default.
- W2079771879 hasConceptScore W2079771879C2777735758 @default.
- W2079771879 hasConceptScore W2079771879C31258907 @default.
- W2079771879 hasConceptScore W2079771879C41008148 @default.
- W2079771879 hasConceptScore W2079771879C45374587 @default.
- W2079771879 hasConceptScore W2079771879C6943359 @default.
- W2079771879 hasConceptScore W2079771879C80444323 @default.
- W2079771879 hasConceptScore W2079771879C81409106 @default.
- W2079771879 hasConceptScore W2079771879C84434228 @default.
- W2079771879 hasConceptScore W2079771879C90806461 @default.
- W2079771879 hasIssue "1" @default.
- W2079771879 hasLocation W20797718791 @default.
- W2079771879 hasOpenAccess W2079771879 @default.
- W2079771879 hasPrimaryLocation W20797718791 @default.
- W2079771879 hasRelatedWork W2079771879 @default.
- W2079771879 hasRelatedWork W2109676928 @default.
- W2079771879 hasRelatedWork W2125459034 @default.
- W2079771879 hasRelatedWork W2130755191 @default.
- W2079771879 hasRelatedWork W2137585528 @default.
- W2079771879 hasRelatedWork W2142304312 @default.
- W2079771879 hasRelatedWork W2146192086 @default.
- W2079771879 hasRelatedWork W2166827623 @default.
- W2079771879 hasRelatedWork W2169183115 @default.
- W2079771879 hasRelatedWork W2169629243 @default.
- W2079771879 hasVolume "7" @default.
- W2079771879 isParatext "false" @default.
- W2079771879 isRetracted "false" @default.
- W2079771879 magId "2079771879" @default.
- W2079771879 workType "article" @default.