Sciweavers

Share
DAC
2004
ACM

A recursive paradigm to solve Boolean relations

10 years 11 days ago
A recursive paradigm to solve Boolean relations
A recursive algorithm for solving Boolean relations is presented. It provides several features: wide exploration of solutions, parametrizable cost function and efficiency. The experimental results show the applicability of the method and tangible improvements with regard to previous heuristic approaches. Categories and Subject Descriptors: B.6.3 [Hardware]: Logic Design - Design Aids; J.6 [Computer Applications]: Computeraided engineering Terms: Algorithms, Design.
David Bañeres, Jordi Cortadella, Michael Ki
Added 13 Nov 2009
Updated 13 Nov 2009
Type Conference
Year 2004
Where DAC
Authors David Bañeres, Jordi Cortadella, Michael Kishinevsky
Comments (0)
books