¡@
-
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. SATS. Malik's talk on
The Quest
for Efficient Boolean Satisfiability Solvers, 2004.
J. Marques-Silva and K. Sakallah.
GRASP: A
Search Algorithm for Propositional Satisfiability. IEEE
Transactions on Computers, 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.
¡@
|