-
4
-
-
0003872611
-
-
Ph.D. Dissertation, Department of Computer and Information Science, University of Pennsylvania, May
-
J. W. Freeman, Improvements to Propositional Satisfiability Search Algorithms, Ph.D. Dissertation, Department of Computer and Information Science, University of Pennsylvania, May 1995.
-
(1995)
Improvements to Propositional Satisfiability Search Algorithms
-
-
Freeman, J.W.1
-
7
-
-
84893543559
-
-
Eindhoven University of Technology
-
G. Janssen, The Eindhoven BDD Package, Eindhoven University of Technology. (URL: ftp://ftp.ics.ele.tue.nl/pub/users/geert/ bdd.tar.gz.)
-
The Eindhoven BDD Package
-
-
Janssen, G.1
-
9
-
-
0027839536
-
Hannibal: An efficient tool for logic verification based on recursive learning
-
November
-
W. Kunz, "HANNIBAL: An Efficient Tool for Logic Verification Based on Recursive Learning," in Proc. of the Int'l Conf. on Computer-Aided Design, pp. 538-543, November 1993.
-
(1993)
Proc. of the Int'l Conf. on Computer-Aided Design
, pp. 538-543
-
-
Kunz, W.1
-
11
-
-
0026623575
-
Test pattern generation using boolean satisfiability
-
January
-
T. Larrabee, "Test Pattern Generation Using Boolean Satisfiability," IEEE Trans. on Computer-Aided Design, vol. 11, no. 1, pp. 4-15, January 1992.
-
(1992)
IEEE Trans. on Computer-Aided Design
, vol.11
, Issue.1
, pp. 4-15
-
-
Larrabee, T.1
-
12
-
-
0024172602
-
Logic verification using binary decision diagrams in a logic synthesis environment
-
November
-
S. Malik, A. R. Wang, R. K. Brayton and A. Sangiovanni-Vincentelli, "Logic Verification Using Binary Decision Diagrams in a Logic Synthesis Environment", in Proc. of the Int'l Conf. e on Computer-Aided Design, pp. 6-9, November 1988.
-
(1988)
Proc. of the Int'l Conf. e on Computer-Aided Design
, pp. 6-9
-
-
Malik, S.1
Wang, A.R.2
Brayton, R.K.3
Sangiovanni-Vincentelli, A.4
-
14
-
-
84937626387
-
Improving satisfiability algorithms by using recursive learning
-
September
-
J. Marques-Silva, "Improving Satisfiability Algorithms by Using Recursive Learning," in International Workshop on Boolean Problems, September 1998.
-
(1998)
International Workshop on Boolean Problems
-
-
Marques-Silva, J.1
-
15
-
-
0029720348
-
An efficient equivalence checker for combinational circuits
-
June
-
Y. Matsunaga, "An Efficient Equivalence Checker for Combinational Circuits," in Proc. of the Design Automation Conf., June 1996.
-
(1996)
Proc. of the Design Automation Conf.
-
-
Matsunaga, Y.1
-
16
-
-
0028712919
-
Symmetry detection and dynamic variable ordering of decision diagrams
-
November
-
S. Panda, F. Somenzi, and B. F. Plessier, "Symmetry detection and dynamic variable ordering of decision diagrams," in Proc. of the Int'l Conf. on Computer-Aided Design, pages 628-631, November 1994. (URL: ftp://vlsi.colorado.edu/pub/cudd-2.2.0.tar.gz.)
-
(1994)
Proc. of the Int'l Conf. on Computer-Aided Design
, pp. 628-631
-
-
Panda, S.1
Somenzi, F.2
Plessier, B.F.3
-
17
-
-
0029214437
-
Novel verification framework combining structural and obdd methods in a synthesis environment
-
June
-
S. Reddy, W. Kunz and D. Pradhan, "Novel Verification Framework Combining Structural and OBDD Methods in a Synthesis Environment," in Proc. of the Design Automation Conf., pp. 414-419, June 1995.
-
(1995)
Proc. of the Design Automation Conf.
, pp. 414-419
-
-
Reddy, S.1
Kunz, W.2
Pradhan, D.3
-
19
-
-
0030247603
-
Combinatorial test generation using satisfiability
-
Sep.
-
P. Stephan, R.K. Brayton and A.L. Sangiovanni-Vincentelli, "Combinatorial Test Generation Using Satisfiability", IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol. 15, no. 9, Sep. 1996.
-
(1996)
IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems
, vol.15
, Issue.9
-
-
Stephan, P.1
Brayton, R.K.2
Sangiovanni-Vincentelli, A.L.3
-
20
-
-
0031341194
-
A sat-based implication engine for efficient atpg, equivalence checking, and optimization of netlists
-
November
-
P. Tafertshofer, A. Ganz and M. Henftling, "A SAT-Based Implication Engine for Efficient ATPG, Equivalence Checking, and Optimization of Netlists," in Proc. of the Int'l Conf. on Computer-Aided Design, pp. 648-657, November 1997.
-
(1997)
Proc. of the Int'l Conf. on Computer-Aided Design
, pp. 648-657
-
-
Tafertshofer, P.1
Ganz, A.2
Henftling, M.3
|