Sciweavers

36 search results - page 8 / 8
» Teaching Formal Methods Based on Rewriting Logic and Maude
Sort
View
ICCAD
2007
IEEE
102views Hardware» more  ICCAD 2007»
14 years 15 days 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...