Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149378379> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2149378379 abstract "With the increase in the complexity of present day systems, proving the correctness of a design has become a major concern. Simulation based methodologies are generally inadequate to validate the correctness of a design with a reasonable confidence. More and more designers are moving towards formal methods to guarantee the correctness of their designs. In this paper we survey some state-of-the-art techniques used to perform automatic verification of combinational circuits. We classify the current approaches for combinational verification into two categories functional and structural. The functional methods consist of representing a circuit as a canonical decision diagram. Two circuits are equivalent if and only if their decision diagrams are equal. The structural methods consist of identifying related nodes in the circuit and using them to simplify the problem of verification. We briefly describe some of the methods in both the categories and discuss their merits and drawbacks." @default.
- W2149378379 created "2016-06-24" @default.
- W2149378379 creator A5027837299 @default.
- W2149378379 creator A5042049695 @default.
- W2149378379 creator A5083173943 @default.
- W2149378379 creator A5088660554 @default.
- W2149378379 date "2002-11-22" @default.
- W2149378379 modified "2023-10-05" @default.
- W2149378379 title "Formal verification of combinational circuits" @default.
- W2149378379 cites W1549834378 @default.
- W2149378379 cites W1584887677 @default.
- W2149378379 cites W1588198101 @default.
- W2149378379 cites W1602476740 @default.
- W2149378379 cites W1994143452 @default.
- W2149378379 cites W2010065567 @default.
- W2149378379 cites W2012336463 @default.
- W2149378379 cites W2014064621 @default.
- W2149378379 cites W2027082801 @default.
- W2149378379 cites W2030224590 @default.
- W2149378379 cites W2036887642 @default.
- W2149378379 cites W2040509241 @default.
- W2149378379 cites W2053446892 @default.
- W2149378379 cites W2057408989 @default.
- W2149378379 cites W2069530808 @default.
- W2149378379 cites W2078740228 @default.
- W2149378379 cites W2079071129 @default.
- W2149378379 cites W2080267935 @default.
- W2149378379 cites W2095826301 @default.
- W2149378379 cites W2095999202 @default.
- W2149378379 cites W2098529560 @default.
- W2149378379 cites W2099251677 @default.
- W2149378379 cites W2100083403 @default.
- W2149378379 cites W2100314073 @default.
- W2149378379 cites W2106695788 @default.
- W2149378379 cites W2109067942 @default.
- W2149378379 cites W2115571162 @default.
- W2149378379 cites W2116242425 @default.
- W2149378379 cites W2127271657 @default.
- W2149378379 cites W2133123458 @default.
- W2149378379 cites W2135453964 @default.
- W2149378379 cites W2137035823 @default.
- W2149378379 cites W2138273756 @default.
- W2149378379 cites W2138838211 @default.
- W2149378379 cites W2141781571 @default.
- W2149378379 cites W2141986537 @default.
- W2149378379 cites W2144491553 @default.
- W2149378379 cites W2145090412 @default.
- W2149378379 cites W2145343136 @default.
- W2149378379 cites W2148068842 @default.
- W2149378379 cites W2149479807 @default.
- W2149378379 cites W2154030608 @default.
- W2149378379 cites W2155562553 @default.
- W2149378379 cites W2159683833 @default.
- W2149378379 cites W2161280291 @default.
- W2149378379 cites W2162226695 @default.
- W2149378379 cites W2167435507 @default.
- W2149378379 cites W2167749768 @default.
- W2149378379 cites W2170624228 @default.
- W2149378379 cites W3161092854 @default.
- W2149378379 doi "https://doi.org/10.1109/icvd.1997.568079" @default.
- W2149378379 hasPublicationYear "2002" @default.
- W2149378379 type Work @default.
- W2149378379 sameAs 2149378379 @default.
- W2149378379 citedByCount "26" @default.
- W2149378379 crossrefType "proceedings-article" @default.
- W2149378379 hasAuthorship W2149378379A5027837299 @default.
- W2149378379 hasAuthorship W2149378379A5042049695 @default.
- W2149378379 hasAuthorship W2149378379A5083173943 @default.
- W2149378379 hasAuthorship W2149378379A5088660554 @default.
- W2149378379 hasConcept C11413529 @default.
- W2149378379 hasConcept C119599485 @default.
- W2149378379 hasConcept C127413603 @default.
- W2149378379 hasConcept C131017901 @default.
- W2149378379 hasConcept C134146338 @default.
- W2149378379 hasConcept C41008148 @default.
- W2149378379 hasConcept C81409106 @default.
- W2149378379 hasConceptScore W2149378379C11413529 @default.
- W2149378379 hasConceptScore W2149378379C119599485 @default.
- W2149378379 hasConceptScore W2149378379C127413603 @default.
- W2149378379 hasConceptScore W2149378379C131017901 @default.
- W2149378379 hasConceptScore W2149378379C134146338 @default.
- W2149378379 hasConceptScore W2149378379C41008148 @default.
- W2149378379 hasConceptScore W2149378379C81409106 @default.
- W2149378379 hasLocation W21493783791 @default.
- W2149378379 hasOpenAccess W2149378379 @default.
- W2149378379 hasPrimaryLocation W21493783791 @default.
- W2149378379 hasRelatedWork W1906317799 @default.
- W2149378379 hasRelatedWork W1982582502 @default.
- W2149378379 hasRelatedWork W1983209177 @default.
- W2149378379 hasRelatedWork W2062980181 @default.
- W2149378379 hasRelatedWork W2074447985 @default.
- W2149378379 hasRelatedWork W2130871355 @default.
- W2149378379 hasRelatedWork W2151849607 @default.
- W2149378379 hasRelatedWork W2159892588 @default.
- W2149378379 hasRelatedWork W2171299168 @default.
- W2149378379 hasRelatedWork W2240479548 @default.
- W2149378379 isParatext "false" @default.
- W2149378379 isRetracted "false" @default.
- W2149378379 magId "2149378379" @default.
- W2149378379 workType "article" @default.