Sciweavers

2 search results - page 1 / 1
» Spurious dependencies and EDA scalability
Sort
View
GECCO
2010
Springer
142views Optimization» more  GECCO 2010»
13 years 10 months ago
Spurious dependencies and EDA scalability
Elizabeth Radetic, Martin Pelikan
ICCAD
2007
IEEE
102views Hardware» more  ICCAD 2007»
14 years 2 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...