Matches in SemOpenAlex for { <https://semopenalex.org/work/W4239171042> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4239171042 abstract "As VLSI fabrication technology progresses to 65 nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits using continuous models. Recently, we showed how such verification can be performed using projection based methods.However, the verification was slow, requiring nearly four CPU days to verify a nine-transistor toggle flip-flop. Here, we describe improvements to the reachability algorithms and optimizations of the software architecture. These produce a 15 x reduction in computation time and significant reductions in the overapproximation errors. With these changes, the same toggle flip-flop can be verified in a few hours, making formal verification a viable alternative to circuit simulation." @default.
- W4239171042 created "2022-05-12" @default.
- W4239171042 creator A5033079705 @default.
- W4239171042 creator A5087823003 @default.
- W4239171042 date "2008-01-01" @default.
- W4239171042 modified "2023-09-27" @default.
- W4239171042 title "Faster projection based methods for circuit level verification" @default.
- W4239171042 cites W111869357 @default.
- W4239171042 cites W1537946603 @default.
- W4239171042 cites W2085838366 @default.
- W4239171042 cites W2093964259 @default.
- W4239171042 cites W2138134203 @default.
- W4239171042 cites W2169004268 @default.
- W4239171042 cites W53809769 @default.
- W4239171042 doi "https://doi.org/10.1109/aspdac.2008.4483985" @default.
- W4239171042 hasPublicationYear "2008" @default.
- W4239171042 type Work @default.
- W4239171042 citedByCount "2" @default.
- W4239171042 countsByYear W42391710422013 @default.
- W4239171042 countsByYear W42391710422018 @default.
- W4239171042 crossrefType "proceedings-article" @default.
- W4239171042 hasAuthorship W4239171042A5033079705 @default.
- W4239171042 hasAuthorship W4239171042A5087823003 @default.
- W4239171042 hasBestOaLocation W42391710422 @default.
- W4239171042 hasConcept C111335779 @default.
- W4239171042 hasConcept C111498074 @default.
- W4239171042 hasConcept C113775141 @default.
- W4239171042 hasConcept C11413529 @default.
- W4239171042 hasConcept C119599485 @default.
- W4239171042 hasConcept C127413603 @default.
- W4239171042 hasConcept C134146338 @default.
- W4239171042 hasConcept C136643341 @default.
- W4239171042 hasConcept C14580979 @default.
- W4239171042 hasConcept C149635348 @default.
- W4239171042 hasConcept C162307627 @default.
- W4239171042 hasConcept C165801399 @default.
- W4239171042 hasConcept C172385210 @default.
- W4239171042 hasConcept C24326235 @default.
- W4239171042 hasConcept C2524010 @default.
- W4239171042 hasConcept C2781007278 @default.
- W4239171042 hasConcept C33923547 @default.
- W4239171042 hasConcept C41008148 @default.
- W4239171042 hasConcept C45374587 @default.
- W4239171042 hasConcept C57493831 @default.
- W4239171042 hasConcept C76155785 @default.
- W4239171042 hasConcept C81843906 @default.
- W4239171042 hasConcept C9390403 @default.
- W4239171042 hasConceptScore W4239171042C111335779 @default.
- W4239171042 hasConceptScore W4239171042C111498074 @default.
- W4239171042 hasConceptScore W4239171042C113775141 @default.
- W4239171042 hasConceptScore W4239171042C11413529 @default.
- W4239171042 hasConceptScore W4239171042C119599485 @default.
- W4239171042 hasConceptScore W4239171042C127413603 @default.
- W4239171042 hasConceptScore W4239171042C134146338 @default.
- W4239171042 hasConceptScore W4239171042C136643341 @default.
- W4239171042 hasConceptScore W4239171042C14580979 @default.
- W4239171042 hasConceptScore W4239171042C149635348 @default.
- W4239171042 hasConceptScore W4239171042C162307627 @default.
- W4239171042 hasConceptScore W4239171042C165801399 @default.
- W4239171042 hasConceptScore W4239171042C172385210 @default.
- W4239171042 hasConceptScore W4239171042C24326235 @default.
- W4239171042 hasConceptScore W4239171042C2524010 @default.
- W4239171042 hasConceptScore W4239171042C2781007278 @default.
- W4239171042 hasConceptScore W4239171042C33923547 @default.
- W4239171042 hasConceptScore W4239171042C41008148 @default.
- W4239171042 hasConceptScore W4239171042C45374587 @default.
- W4239171042 hasConceptScore W4239171042C57493831 @default.
- W4239171042 hasConceptScore W4239171042C76155785 @default.
- W4239171042 hasConceptScore W4239171042C81843906 @default.
- W4239171042 hasConceptScore W4239171042C9390403 @default.
- W4239171042 hasLocation W42391710421 @default.
- W4239171042 hasLocation W42391710422 @default.
- W4239171042 hasOpenAccess W4239171042 @default.
- W4239171042 hasPrimaryLocation W42391710421 @default.
- W4239171042 hasRelatedWork W1986914234 @default.
- W4239171042 hasRelatedWork W2026246513 @default.
- W4239171042 hasRelatedWork W2143093341 @default.
- W4239171042 hasRelatedWork W2159907637 @default.
- W4239171042 hasRelatedWork W2168638127 @default.
- W4239171042 hasRelatedWork W2189030243 @default.
- W4239171042 hasRelatedWork W4239171042 @default.
- W4239171042 hasRelatedWork W4249934669 @default.
- W4239171042 hasRelatedWork W4361837245 @default.
- W4239171042 hasRelatedWork W2519438976 @default.
- W4239171042 isParatext "false" @default.
- W4239171042 isRetracted "false" @default.
- W4239171042 workType "article" @default.