-
News
EE Times -
Kaufman award honors Brayton
SCD source newsletter -
Logic synthesis pioneer eyes new horizons
-
Boolean Reasoning Engines
BDD
R. E. Bryant.
Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams. ACM Computing Surveys, Vol. 24, No. 3 (September, 1992), pp. 293-318. SATThe Quest for Efficient Boolean Satisfiability Solvers, 2004.
J. Marques-Silva and K. Sakallah.
GRASP: A Search Algorithm for Propositional Satisfiability. IEEE Transactions on Computerss, vol. 48, no. 5, May 1999. M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik.
Chaff: Engineering an Efficient SAT Solver. In Proc. Design Automation Conference, 2001.
- Retiming
C. E. Leiserson and J. B. Saxe. Optimizing synchronous systems. Journal of VLSI and Computer Systems, 1(1):41--67, Spring
1983.
C. E. Leiserson and J. B. Saxe. Retiming synchronous circuitry.
Algorithmica, vol. 6, pages 5--35, 1991.
|