-
1
-
-
33749762576
-
-
170-175.
-
G. Cabodi, P. Camurati, and S. Quer, "Decomposed symbolic forward traversais of large finite state machine," in Proc. IEEE EURO-DAC'96, Geneva, Switzerland, Sept. 1996, pp. 170-175.
-
P. Camurati, and S. Quer, "Decomposed Symbolic Forward Traversais of Large Finite State Machine," in Proc. IEEE EURO-DAC'96, Geneva, Switzerland, Sept. 1996, Pp.
-
-
Cabodi, G.1
-
2
-
-
0030416289
-
-
354-360.
-
"Improved reachability analysis of large finite state machine," in Proc. IEEE/ACMICCAD'96, San Jose, CA, Nov. 1996, pp. 354-360.
-
Of Large Finite State Machine," in Proc. IEEE/ACMICCAD'96, San Jose, CA, Nov. 1996, Pp.
-
-
Analysis, R.1
-
3
-
-
0031700618
-
-
1998.
-
"Memory optimization in function and set manipulation with BDD's," Software-Practice and Experience, vol. 28, no. 11, pp. 99-120, June 1998.
-
Function and Set Manipulation with BDD's," Software-Practice and Experience, Vol. 28, No. 11, Pp. 99-120, June
-
-
In, O.1
-
4
-
-
0022769976
-
-
1986.
-
R.E. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Trans. Computers, vol. C-35, pp. 677-691, Aug. 1986.
-
"Graph-based Algorithms for Boolean Function Manipulation," IEEE Trans. Computers, Vol. C-35, Pp. 677-691, Aug.
-
-
Bryant, R.E.1
-
5
-
-
0026913667
-
-
1992.
-
"Symbolic Boolean manipulation with ordered binary-decision diagrams," ACM Computing Surveys, vol. 24, no. 3, pp. 293-318, Sept. 1992.
-
With Ordered Binary-decision Diagrams," ACM Computing Surveys, Vol. 24, No. 3, Pp. 293-318, Sept.
-
-
Manipulation, B.1
-
6
-
-
33749696368
-
-
210-226.
-
J. Jain, J. Bitner, J.A. Abraham, and D.S. Fussel, "Functional partitioning for verification and related problems," in Proc. Brown/MIT VLSI Conference, Mar. 1992, pp. 210-226.
-
J. Bitner, J.A. Abraham, and D.S. Fussel, "Functional Partitioning for Verification and Related Problems," in Proc. Brown/MIT VLSI Conference, Mar. 1992, Pp.
-
-
Jain, J.1
-
7
-
-
0030414240
-
-
547-554.
-
A. Narayan, J. Jain, M. Fujita, and A. Sangiovanni-Vincentelli, "Partitioned ROBDD's-A compact, canonical and efficient manipulable representation of Boolean functions," in Proc. IEEE/ACM ICCAD'96, San Jose, CA, Nov. 1996, pp. 547-554.
-
J. Jain, M. Fujita, and A. Sangiovanni-Vincentelli, "Partitioned ROBDD's-A Compact, Canonical and Efficient Manipulable Representation of Boolean Functions," in Proc. IEEE/ACM ICCAD'96, San Jose, CA, Nov. 1996, Pp.
-
-
Narayan, A.1
-
8
-
-
0028413136
-
-
1994.
-
J.R. Burch, E.M. Clarke, D.E. Long, K.L. McMillan, and D.L. Dill, "Symbolic model checking for sequential circuit verification," IEEE Trans. Computer-Aided Design, vol. 13, no. 4, pp. 401-124, Apr. 1994.
-
E.M. Clarke, D.E. Long, K.L. McMillan, and D.L. Dill, "Symbolic Model Checking for Sequential Circuit Verification," IEEE Trans. Computer-Aided Design, Vol. 13, No. 4, Pp. 401-124, Apr.
-
-
Burch, J.R.1
-
9
-
-
0029516742
-
-
154-158.
-
K. Ravi and F. Somenzi, "High-density reachability analysis," in Proc. IEEE/ACMICCAD'95, San Jose, CA, Nov. 1995, pp. 154-158.
-
And F. Somenzi, "High-density Reachability Analysis," in Proc. IEEE/ACMICCAD'95, San Jose, CA, Nov. 1995, Pp.
-
-
Ravi, K.1
-
10
-
-
0029508892
-
-
236-243.
-
R.E. Bryant, "Binary decision diagrams and beyond: Enabling tech-nologies for formal verification," in Proc. IEEE/ACM ICCAD'95, San Jose, CA, Nov. 1995, pp. 236-243.
-
"Binary Decision Diagrams and Beyond: Enabling Tech-nologies for Formal Verification," in Proc. IEEE/ACM ICCAD'95, San Jose, CA, Nov. 1995, Pp.
-
-
Bryant, R.E.1
-
11
-
-
0031338901
-
-
388-393.
-
A. Narayan, A.J. Isles, J. Jain, R.K. Brayton, and A. SangiovanniVincentelli, "Reachability analysis using partitioned-ROBDD's," in Proc. IEEE/ACMICCAD'97. San Jose, CA, Nov. 1997, pp. 388-393.
-
A.J. Isles, J. Jain, R.K. Brayton, and A. SangiovanniVincentelli, "Reachability Analysis Using Partitioned-ROBDD's," in Proc. IEEE/ACMICCAD'97. San Jose, CA, Nov. 1997, Pp.
-
-
Narayan, A.1
-
12
-
-
33749762575
-
-
1998.
-
F. Somenzi, "CUDD: CU decision diagram package-Release 2.2.0," Dept. Elect, and Comput. Eng., Univ. Colorado, Boulder, CO, Tech. Rep., May 1998.
-
"CUDD: CU Decision Diagram Package-Release 2.2.0," Dept. Elect, and Comput. Eng., Univ. Colorado, Boulder, CO, Tech. Rep., May
-
-
Somenzi, F.1
-
13
-
-
0029757834
-
-
1996.
-
J. Bern, C. Meinel, and A. Slobodova", "Some heuristics for generating tree-like FBDD types," IEEE Trans. Computer-Aided Design, vol. 15, pp. 127-131, Jan. 1996.
-
C. Meinel, and A. Slobodova", "Some Heuristics for Generating Tree-like FBDD Types," IEEE Trans. Computer-Aided Design, Vol. 15, Pp. 127-131, Jan.
-
-
Bern, J.1
-
14
-
-
33749810751
-
-
1995.
-
K.J. Englert, "Heuristische Verfahren zur Generierung von FBDDTypen," M.S. thesis, Univ. Freiburg, Freiburg, Germany, 1995.
-
"Heuristische Verfahren Zur Generierung Von FBDDTypen," M.S. Thesis, Univ. Freiburg, Freiburg, Germany
-
-
Englert, K.J.1
-
15
-
-
33749782923
-
-
1996.
-
M. Tachibana, "Heuristic algorithms for FBDD node minimization with application to pass-transistor-logic and DCVS synthesis," in Proc. SASIMI'96, Fuknoka, Kyushu, Japan, Nov. 1996.
-
"Heuristic Algorithms for FBDD Node Minimization with Application to Pass-transistor-logic and DCVS Synthesis," in Proc. SASIMI'96, Fuknoka, Kyushu, Japan, Nov.
-
-
Tachibana, M.1
-
16
-
-
85029623145
-
-
176-181.
-
G. Cabodi, P. Camurati, L. Lavagno, and S. Quer, "Verification and synthesis of counters based on symbolic techniques," in Proc. EDAA/ACM/IEEE ED&TC'97, Paris, France, Mar. 1997, pp. 176-181.
-
P. Camurati, L. Lavagno, and S. Quer, "Verification and Synthesis of Counters Based on Symbolic Techniques," in Proc. EDAA/ACM/IEEE ED&TC'97, Paris, France, Mar. 1997, Pp.
-
-
Cabodi, G.1
|