Sciweavers

2 search results - page 1 / 1
» Spurious dependencies and EDA scalability
Sort
View
GECCO
2010
Springer
142views Optimization» more  GECCO 2010»
13 years 9 months ago
Spurious dependencies and EDA scalability
Elizabeth Radetic, Martin Pelikan
ICCAD
2007
IEEE
102views Hardware» more  ICCAD 2007»
14 years 1 months ago
Scalable exploration of functional dependency by interpolation and incremental SAT solving
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang H...