Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Ted Stanion"'
Publikováno v:
Theory and Applications of Satisfiability Testing ISBN: 9783540208518
SAT
SAT
A tree decomposition of a hypergraph is a construction that captures the graph’s topological structure. Every tree decomposition has an associated tree width, which can be viewed as a measure of how tree-like the original hypergraph is. Tree decomp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4cc541052d51765f7835ccd7c4b3189e
https://doi.org/10.1007/978-3-540-24605-3_24
https://doi.org/10.1007/978-3-540-24605-3_24
Publikováno v:
DAC
An important step in using combinational equivalence checkers to verify sequential designs is identifying and matching corresponding compare-points in the two sequential designs to be verified. Both non-function and function-based matching methods ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c04195c8243f9258fb6c25b7c1e7875
https://doi.org/10.1145/513918.513997
https://doi.org/10.1145/513918.513997
Autor:
Ted Stanion, Carl Sechen
Publikováno v:
DAC
In this paper, we present an algorithm for finding a good Ashenhurst decomposition of a switching function. Most current methods for performing this type of decomposition are based on the Roth-Karp algorithm. The algorithm presented here is based on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a4fdf6cba01d00020f71ba10436b98d1
https://doi.org/10.1145/217474.217507
https://doi.org/10.1145/217474.217507
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.