-
1
-
-
0028602204
-
BDD variable ordering for interacting finite state machines
-
San Diego, CA, June. San Diego Convention Center, ch. 18.3
-
A. Aziz, S. Tasiran, and R.K. Brayton. BDD Variable Ordering for Interacting Finite State Machines. In 31st ACM/IEEE Design Automation Conference (DAC), San Diego, CA, June 1994. San Diego Convention Center, ch. 18.3.
-
(1994)
31st ACM/IEEE Design Automation Conference (DAC)
-
-
Aziz, A.1
Tasiran, S.2
Brayton, R.K.3
-
2
-
-
23844509123
-
MINCE: A static global variable-ordering heuristic for SAT search and BDD manipulation
-
F. A. Aloul, I. L. Markov, and K. A. Sakallah. MINCE: A static global variable-ordering heuristic for SAT search and BDD manipulation. J. UCS, 10(12):1562-1596, 2004.
-
(2004)
J. UCS
, vol.10
, Issue.12
, pp. 1562-1596
-
-
Aloul, F.A.1
Markov, I.L.2
Sakallah, K.A.3
-
4
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
Aug.
-
R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput., 35(8):677-691, Aug. 1986.
-
(1986)
IEEE Trans. Comput.
, vol.35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
5
-
-
0026913667
-
Symbolic boolean manipulation with ordered binary-decision diagrams
-
R. E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comp. Surv., 24(3):293-318, 1992.
-
(1992)
ACM Comp. Surv.
, vol.24
, Issue.3
, pp. 293-318
-
-
Bryant, R.E.1
-
6
-
-
0003347456
-
Symbolic model checking with partitioned transistion relations
-
J. R. Burch, E. M. Clarke, and D. E. Long. Symbolic model checking with partitioned transistion relations. In VLSI, pages 49-58, 1991.
-
(1991)
VLSI
, pp. 49-58
-
-
Burch, J.R.1
Clarke, E.M.2
Long, D.E.3
-
7
-
-
84947275319
-
Using combinatorial optimization methods for quantification scheduling
-
P. Chauhan, E. Clarke, S. Jha, J. Kukula, H. Veith, and D. Wang. Using combinatorial optimization methods for quantification scheduling. Lecture Notes in Computer Science, 2144:293-302, 2001.
-
(2001)
Lecture Notes in Computer Science
, vol.2144
, pp. 293-302
-
-
Chauhan, P.1
Clarke, E.2
Jha, S.3
Kukula, J.4
Veith, H.5
Wang, D.6
-
8
-
-
35248825902
-
Logical and stochastic modeling with SMART
-
LNCS 2794, Urbana, IL, USA, Sept. Springer-Verlag
-
G. Ciardo, R. L. Jones, A. S. Miner, and R. Siminiceaunu. Logical and stochastic modeling with SMART. In Proc. Modelling Techniques and Tools for Computer Performance Evaluation, LNCS 2794, pages 78-97, Urbana, IL, USA, Sept. 2003. Springer-Verlag.
-
(2003)
Proc. Modelling Techniques and Tools for Computer Performance Evaluation
, pp. 78-97
-
-
Ciardo, G.1
Jones, R.L.2
Miner, A.S.3
Siminiceaunu, R.4
-
9
-
-
84947211257
-
Efficient symbolic state-space construction for asynchronous systems
-
LNCS 1825, Aarhus, Denmark, June. Springer-Verlag
-
G. Ciardo, G. Lüttgen, and R. Siminiceanu. Efficient symbolic state-space construction for asynchronous systems. In Proc. 21th Int. Conf. on Applications and Theory of Petri Nets, LNCS 1825, pages 103-122, Aarhus, Denmark, June 2000. Springer-Verlag.
-
(2000)
Proc. 21th Int. Conf. on Applications and Theory of Petri Nets
, pp. 103-122
-
-
Ciardo, G.1
Lüttgen, G.2
Siminiceanu, R.3
-
10
-
-
84903156410
-
Saturation: An efficient iteration strategy for symbolic state space generation
-
T. Margaria and W. Yi, editors, LNCS 2031, Genova, Italy, Apr. Springer-Verlag
-
G. Ciardo, G. Lüttgen, and R. Siminiceanu. Saturation: An efficient iteration strategy for symbolic state space generation. In T. Margaria and W. Yi, editors, Proc. TACAS, LNCS 2031, pages 328-342, Genova, Italy, Apr. 2001. Springer-Verlag.
-
(2001)
Proc. TACAS
, pp. 328-342
-
-
Ciardo, G.1
Lüttgen, G.2
Siminiceanu, R.3
-
11
-
-
35248894348
-
Saturation unbound
-
LNCS 2619, Warsaw, Poland, Apr. Springer-Verlag
-
G. Ciardo, R. Marmorstein, and R. Siminiceanu. Saturation unbound. In Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 2619, pages 379-393, Warsaw, Poland, Apr. 2003. Springer-Verlag.
-
(2003)
Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
, pp. 379-393
-
-
Ciardo, G.1
Marmorstein, R.2
Siminiceanu, R.3
-
12
-
-
33646162239
-
Saturation-based symbolic reachability analysis using conjunctive and disjunctive partitioning
-
Saarbrücken, Germany, Oct. Springer-Verlag. To appear
-
G. Ciardo and J. Yu. Saturation-based symbolic reachability analysis using conjunctive and disjunctive partitioning. In Proc. CHARME, Saarbrücken, Germany, Oct. 2005. Springer-Verlag. To appear.
-
(2005)
Proc. CHARME
-
-
Ciardo, G.1
Yu, J.2
-
13
-
-
84968448732
-
Efficient model checking by automated ordering of transition relation
-
David L. Dill, editor, Standford, California, USA. Springer-Verlag
-
D. Geist and I. Beer. Efficient model checking by automated ordering of transition relation. In David L. Dill, editor, Proceedings of the sixth International Conference on Computer-Aided Verification CAV, volume 818, pages 299-310, Standford, California, USA, 1994. Springer-Verlag.
-
(1994)
Proceedings of the Sixth International Conference on Computer-aided Verification CAV
, vol.818
, pp. 299-310
-
-
Geist, D.1
Beer, I.2
-
15
-
-
0012012586
-
Variable ordering algorithms for ordered binary decision diagrams and their evaluation
-
Jan.
-
M. Fujita, H. Fujisawa, and Y. Matsunaga. Variable ordering algorithms for ordered binary decision diagrams and their evaluation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 12(1):6-12, Jan. 1993.
-
(1993)
IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems
, vol.12
, Issue.1
, pp. 6-12
-
-
Fujita, M.1
Fujisawa, H.2
Matsunaga, Y.3
-
18
-
-
0035189556
-
BDD variable ordering by scatter search
-
W. N. N. Hung and X. Song. BDD variable ordering by scatter search. In ICCD, pages 368-373, 2001.
-
(2001)
ICCD
, pp. 368-373
-
-
Hung, W.N.N.1
Song, X.2
-
19
-
-
0001886678
-
Multi-valued decision diagrams: Theory and applications
-
T. Kam, T. Villa, R. Brayton, and A. Sangiovanni-Vincentelli. Multi-valued decision diagrams: theory and applications. Multiple-Valued Logic, 4(1-2):9-62, 1998.
-
(1998)
Multiple-valued Logic
, vol.4
, Issue.1-2
, pp. 9-62
-
-
Kam, T.1
Villa, T.2
Brayton, R.3
Sangiovanni-Vincentelli, A.4
-
20
-
-
0033697943
-
Efficient variable ordering using a BDD based sampling
-
Y. Lu, J. Jain, E. M. Clarke, and M. Fujita. Efficient variable ordering using a BDD based sampling. In Design Automation Conference, pages 687-692, 2000.
-
(2000)
Design Automation Conference
, pp. 687-692
-
-
Lu, Y.1
Jain, J.2
Clarke, E.M.3
Fujita, M.4
-
22
-
-
0033684175
-
To split or to conjoin: The question in image computation
-
NY, June 5-9. ACM/IEEE
-
I.-H. Moon, J. H. Kukula, K. Ravi, and F. Somenzi. To split or to conjoin: the question in image computation. In Proceedings of the 37th Conference on Design Automation (DAC-00), pages 23-28, NY, June 5-9 2000. ACM/IEEE.
-
(2000)
Proceedings of the 37th Conference on Design Automation (DAC-00)
, pp. 23-28
-
-
Moon, I.-H.1
Kukula, J.H.2
Ravi, K.3
Somenzi, F.4
-
24
-
-
0027841555
-
Dynamic variable ordering for ordered binary decision diagrams
-
Santa Clara, California, Nov. ACM/IEEE, IEEE Computer Society Press
-
R. Rudell. Dynamic Variable Ordering for Ordered Binary Decision Diagrams. In IEEE / ACM International Conference on CAD, pages 42-47, Santa Clara, California, Nov. 1993. ACM/IEEE, IEEE Computer Society Press.
-
(1993)
IEEE / ACM International Conference on CAD
, pp. 42-47
-
-
Rudell, R.1
-
25
-
-
33745778302
-
-
May
-
R. Ranjan, A. Aziz, R. Brayton, B. Plessier, and C. Pixley. Efficient BDD algorithms for FSM synthesis and verification, May 1995.
-
(1995)
Efficient BDD Algorithms for FSM Synthesis and Verification
-
-
Ranjan, R.1
Aziz, A.2
Brayton, R.3
Plessier, B.4
Pixley, C.5
-
26
-
-
33745803915
-
-
Personal communication, Oct.
-
Y. Wu and J. Robert. Personal communication, Oct. 2005.
-
(2005)
-
-
Wu, Y.1
Robert, J.2
|