-
1
-
-
84866969947
-
"Boolean expression diagrams,"
-
Warsaw, Poland, July 1997.
-
H. R. Andersen and H. Hulgaard, "Boolean expression diagrams," presented at the IEEE Conference on Logic in Computer Science (LICS), Warsaw, Poland, July 1997.
-
IEEE Conference on Logic in Computer Science (LICS)
-
-
Andersen, H.R.1
Hulgaard, H.2
-
2
-
-
0024936433
-
"Functional comparison of logic designs for VLSI circuits,"
-
Santa Clara, CA, 1989.
-
C. L. Berman, L. H. Trevyllian, "Functional comparison of logic designs for VLSI circuits," presented at the IEEE/ACM International Conference on Computer-Aided Design, Santa Clara, CA, 1989.
-
IEEE/ACM International Conference on Computer-Aided Design
-
-
Berman, C.L.1
Trevyllian, L.H.2
-
4
-
-
0000090354
-
"VIS: A system for verification and synthesis,"
-
New Brunswick, NJ, 1996.
-
R. Brayton, G. D. Hachtel, A. Sangiovanni-Vincentelli, F. Somenzi, A. Aziz, S.-T. Cheng, S. Edwards, S. Khatri, Y. Kukimoto, A. Pardo, S. Qadeer, R. K. Ranjan, S. Sarwary, T. R. Shiple, G. Swamy, and T. Villa, "VIS: A system for verification and synthesis," presented at the International Conference on Computer-Aided Verification, New Brunswick, NJ, 1996.
-
International Conference on Computer-Aided Verification
-
-
Brayton, R.1
Hachtel, G.D.2
Sangiovanni-Vincentelli, A.3
Somenzi, F.4
Aziz, A.5
Cheng, S.-T.6
Edwards, S.7
Khatri, S.8
Kukimoto, Y.9
Pardo, A.10
Qadeer, S.11
Ranjan, R.K.12
Sarwary, S.13
Shiple, T.R.14
Swamy, G.15
Villa, T.16
-
5
-
-
0022769976
-
"Graph-based algorithms for Boolean function manipulation,"
-
vol. C-35, pp. 677-691, Aug. 1986.
-
R. E. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Trans. Comput., vol. C-35, pp. 677-691, Aug. 1986.
-
IEEE Trans. Comput.
-
-
Bryant, R.E.1
-
6
-
-
0029224152
-
"Verification of arithmetic circuits with binary moment diagrams,"
-
San Francisco, CA, 1995.
-
R. E. Bryant and Y. Chen, "Verification of arithmetic circuits with binary moment diagrams," presented at the Design Automation Conference, San Francisco, CA, 1995.
-
Design Automation Conference
-
-
Bryant, R.E.1
Chen, Y.2
-
7
-
-
0025548663
-
"Tautology checking using cross-controllability and cross-observability relations,"
-
Santa Clara, CA, 1990.
-
E. Cerny and C. Mauras, "Tautology checking using cross-controllability and cross-observability relations," presented at the IEEE/ACM International Conference on Computer-Aided Design, Santa Clara, CA, 1990.
-
IEEE/ACM International Conference on Computer-Aided Design
-
-
Cerny, E.1
Mauras, C.2
-
8
-
-
0028594117
-
"Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams,"
-
San Diego, CA, 1994.
-
R. Drechsler, A. Sarabi, M. Theobald, B. Becker, and M. A. Perkowski, "Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams," presented at the Design Automation Conference, San Diego, CA, 1994.
-
Design Automation Conference
-
-
Drechsler, R.1
Sarabi, A.2
Theobald, M.3
Becker, B.4
Perkowski, M.A.5
-
9
-
-
0029712260
-
"Error correction based on verification techniques,"
-
Las Vegas, NV, 1996.
-
S. Y. Huang, K. C. Chen, and K. T. Cheng, "Error correction based on verification techniques," presented at the Design Automation Conference, Las Vegas, NV, 1996.
-
Design Automation Conference
-
-
Huang, S.Y.1
Chen, K.C.2
Cheng, K.T.3
-
10
-
-
0024173411
-
"Evaluation and improvements of Boolean comparison method based on binary decision diagrams,"
-
Santa Clara, CA, 1988.
-
M. Fujita, H. Fujisawa, and N. Kawato, "Evaluation and improvements of Boolean comparison method based on binary decision diagrams," presented at the IEEE/ACM Internation al Conference on ComputerAided Design, Santa Clara, CA, 1988.
-
IEEE/ACM Internation Al Conference on ComputerAided Design
-
-
Fujita, M.1
Fujisawa, H.2
Kawato, N.3
-
11
-
-
84866962473
-
"Verification of arithmetic circuits by comparing two similar circuits,"
-
New Brunswick, NJ, 1996.
-
M. Fujita, "Verification of arithmetic circuits by comparing two similar circuits," presented at the International Conference on Computer-Aided Verification, New Brunswick, NJ, 1996.
-
International Conference on Computer-Aided Verification
-
-
Fujita, M.1
-
12
-
-
0003163141
-
"Functional partitioning for verification and related problems," in
-
1992, pp. 210-226.
-
J. Jain, J. Bitner, D. S. Fussell, and J. A. Abraham, "Functional partitioning for verification and related problems," in Proc. Brown/MIT VLSI Conf., 1992, pp. 210-226.
-
Proc. Brown/MIT VLSI Conf.
-
-
Jain, J.1
Bitner, J.2
Fussell, D.S.3
Abraham, J.A.4
-
13
-
-
0031348809
-
"Indexed BDD's: Algorithmic advances in techniques to represent and verify Boolean functions,"
-
vol. 46, pp. 1230-1245, Nov. 1997.
-
J. Jain, J. Bitner, M. Abadir, D. S. Fussell, and J. A. Abraham, "Indexed BDD's: Algorithmic advances in techniques to represent and verify Boolean functions," IEEE Trans. Comput., vol. 46, pp. 1230-1245, Nov. 1997.
-
IEEE Trans. Comput.
-
-
Jain, J.1
Bitner, J.2
Abadir, M.3
Fussell, D.S.4
Abraham, J.A.5
-
14
-
-
0029225168
-
"Advanced verification techniques based on learning,"
-
San Francisco, CA, 1995.
-
J. Jain, R. Mukherjee, and M. Fujita, "Advanced verification techniques based on learning," presented at the Design Automation Conference, San Francisco, CA, 1995.
-
Design Automation Conference
-
-
Jain, J.1
Mukherjee, R.2
Fujita, M.3
-
15
-
-
84866969452
-
"PLOVER: A FiLtering Based Combinational VERification Method,"
-
Oct. 10, 1996.
-
J. Jain, R. Mukherjee, K. Takayama, M. Fujita, J. A. Abraham, and D. S. Fussell, "PLOVER: A FiLtering Based Combinational VERification Method," FLA Tech. Rep. FLA-CTM-96-02. Oct. 10, 1996.
-
FLA Tech. Rep. FLA-CTM-96-02.
-
-
Jain, J.1
Mukherjee, R.2
Takayama, K.3
Fujita, M.4
Abraham, J.A.5
Fussell, D.S.6
-
16
-
-
84866969942
-
-
"Method for verification of combinational circuits using a filtering oriented approach," U.S. Patent filed
-
J. Jain, R. Mukherjee, and K. Takayama, "Method for verification of combinational circuits using a filtering oriented approach," U.S. Patent filed
-
-
-
Jain, J.1
Mukherjee, R.2
Takayama, K.3
-
17
-
-
84866969941
-
"Decomposition techniques for efficient ROBDD construction,"
-
Berlin, Germany: Springer-Verlag, 1996.
-
J. Jain, A. Narayan, C. Coelho, S. Khatri, A. Sangiovanni-Vincentelli, R. Brayton, and M. Fujita, "Decomposition techniques for efficient ROBDD construction," Formal Methods in CAD. Berlin, Germany: Springer-Verlag, 1996.
-
Formal Methods in CAD.
-
-
Jain, J.1
Narayan, A.2
Coelho, C.3
Khatri, S.4
Sangiovanni-Vincentelli, A.5
Brayton, R.6
Fujita, M.7
-
18
-
-
0030646028
-
"Equivalence checking using cuts and heaps,"
-
Anaheim, CA, 1997.
-
A. Kuehlmann and F. Krohm, "Equivalence checking using cuts and heaps," presented at the Design Automation Conference, Anaheim, CA, 1997.
-
Design Automation Conference
-
-
Kuehlmann, A.1
Krohm, F.2
-
19
-
-
0027839536
-
"HANNIBAL: An efficient tool for logic verification based on recursive learning,"
-
Santa Clara, CA, 1993.
-
W. Kunz, "HANNIBAL: An efficient tool for logic verification based on recursive learning," presented at the IEEE/ACM International Conference on Computer-Aided Design, Santa Clara, CA, 1993.
-
IEEE/ACM International Conference on Computer-Aided Design
-
-
Kunz, W.1
-
20
-
-
0028698729
-
"Multi-level logic optimization by implication analysis,"
-
San Jose, CA, 1994.
-
W. Kunz and P. R. Menon, "Multi-level logic optimization by implication analysis," presented at the IEEE/ACM International Conference on Computer-Aided Design, San Jose, CA, 1994.
-
IEEE/ACM International Conference on Computer-Aided Design
-
-
Kunz, W.1
Menon, P.R.2
-
21
-
-
0024172602
-
"Logic verification using binary decision diagrams in a logic synthesis environment,"
-
Santa Clara, CA, 1988.
-
S. Malik, A. Wang, R. Brayton, A. Sangiovanni-Vincentelli, "Logic verification using binary decision diagrams in a logic synthesis environment," presented at the IEEE/ACM International Conference on Computer-Aided Design, Santa Clara, CA, 1988.
-
IEEE/ACM International Conference on Computer-Aided Design
-
-
Malik, S.1
Wang, A.2
Brayton, R.3
Sangiovanni-Vincentelli, A.4
-
22
-
-
0029720348
-
"An efficient equivalence checker for combinational circuits,"
-
Las Vegas, NV, 1996.
-
Y. Matsunaga, "An efficient equivalence checker for combinational circuits," presented at the Design Automation Conference, Las Vegas, NV, 1996.
-
Design Automation Conference
-
-
Matsunaga, Y.1
-
23
-
-
84893630371
-
"VERIFUL: VERification using Functional Learning,"
-
Paris, France, 1995.
-
R. Mukherjee, J. Jain, and M. Fujita, "VERIFUL: VERification using Functional Learning," presented at the European Design and Test Conference, Paris, France, 1995.
-
European Design and Test Conference
-
-
Mukherjee, R.1
Jain, J.2
Fujita, M.3
-
24
-
-
0030705703
-
"Efficient combinational verification using BDD's and a hash table,"
-
Hong Kong, 1997.
-
R. Mukherjee, J. Jain, K. Takayama, M. Fujita, J. A. Abraham, and D. S. Fussell, "Efficient combinational verification using BDD's and a hash table," presented at the ISCAS, Hong Kong, 1997.
-
ISCAS
-
-
Mukherjee, R.1
Jain, J.2
Takayama, K.3
Fujita, M.4
Abraham, J.A.5
Fussell, D.S.6
-
25
-
-
84866962475
-
"Filtering orientated combinational verification approach,"
-
Tahoe City, CA, 1997.
-
_, "Filtering orientated combinational verification approach," presented at the ACM/IEEE International Workshop on Logic Synthesis, Tahoe City, CA, 1997.
-
ACM/IEEE International Workshop on Logic Synthesis
-
-
-
26
-
-
0030414240
-
"Partitioned-ROBDDs-A compact, canonical and efficiently manipulable representation for Boolean functions,"
-
San Jose, CA, 1996.
-
A. Narayan, J. Jain, M. Fujita, and A. Sangiovanni-Vincentelli, "Partitioned-ROBDDs-A compact, canonical and efficiently manipulable representation for Boolean functions," presented at the IEEE/ACM International Conference on Computer-Aided Design, San Jose, CA, 1996.
-
IEEE/ACM International Conference on Computer-Aided Design
-
-
Narayan, A.1
Jain, J.2
Fujita, M.3
Sangiovanni-Vincentelli, A.4
-
27
-
-
0029487141
-
"Who are the variables in your neighborhood,"
-
San Jose, CA, 1995.
-
S. Panda and F. Somenzi, "Who are the variables in your neighborhood," presented at the IEEE/ACM International Conference on ComputerAided Design, San Jose, CA, 1995.
-
IEEE/ACM International Conference on ComputerAided Design
-
-
Panda, S.1
Somenzi, F.2
-
28
-
-
0029214437
-
"Novel verification framework combining structural and OBDD methods in a synthesis environment,"
-
San Francisco, CA, 1995.
-
S. M. Reddy, W. Kunz, D. K. Pradhan, "Novel verification framework combining structural and OBDD methods in a synthesis environment," presented at the Design Automation Conference, San Francisco, CA, 1995.
-
Design Automation Conference
-
-
Reddy, S.M.1
Kunz, W.2
Pradhan, D.K.3
-
29
-
-
0027841555
-
"Dynamic variable ordering for ordered binary decision diagrams,"
-
Santa Clara, CA, 1993.
-
R. Rudell, "Dynamic variable ordering for ordered binary decision diagrams," presented at the IEEE/ACM International Conference on Computer-Aided Design, Santa Clara, CA, 1993.
-
IEEE/ACM International Conference on Computer-Aided Design
-
-
Rudell, R.1
|