-
4
-
-
0025558645
-
Efficient implementation of a BDD package
-
K. S. Brace, R. L. Rudell, and R. E. Bryant, “Efficient implementation of a BDD package,” in Proc. 27th ACM/IEEE Design Automation Conf., 1990, p p. 40–45.
-
(1990)
Proc. 27th ACM/IEEE Design Automation Conf.
, pp. 40-45
-
-
Brace, K.S.1
Rudell, R.L.2
Bryant, R.E.3
-
5
-
-
84943730557
-
An improved algorithm for automatic verification of finite state machines using temporal logic
-
Boston, MA, June
-
M.C. Browne, “An improved algorithm for automatic verification of finite state machines using temporal logic,” in Proc. First Ann. Symp. Logic in Computer Sci., Boston, MA, June 1986.
-
(1986)
Proc. First Ann. Symp. Logic in Computer Sci
-
-
Browne, M.C.1
-
6
-
-
0022890039
-
Automatic verification of sequential circuits using temporal logic
-
Dec.
-
M. C. Browne, E. M. Clarke, D. L. Dill, and B. Mishra, “Automatic verification of sequential circuits using temporal logic,” IEEE Trans. Comp., vol. C-35, pp. 1035–1044, Dec. 1986.
-
(1986)
IEEE Trans. Comp
, vol.C-35
, pp. 1035-1044
-
-
Browne, M.C.1
Clarke, E.M.2
Dill, D.L.3
Mishra, B.4
-
7
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
Aug.
-
R. E. Bryant, “Graph-based algorithms for boolean function manipulation,” IEEE Trans. Comp., vol. C-35, Aug. 1986.
-
(1986)
IEEE Trans. Comp
, vol.C-35
-
-
Bryant, R.E.1
-
9
-
-
84943727949
-
Formal verification of digital circuits using symbolic ternary system models
-
R. Kurshan and E. M. Clarke, ed., DIMACS Series in Discrete Mathematics and Theoretical Computer Science, American Mathematical Society
-
R. E. Bryant and C.J. Seger, “Formal verification of digital circuits using symbolic ternary system models,” in Computer-Aided Verification, Proceedings of the 1990 Workshop; DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 3, R. Kurshan and E. M. Clarke, ed., American Mathematical Society, 1990.
-
(1990)
Computer-Aided Verification, Proceedings of the 1990 Workshop
, vol.3
-
-
Bryant, R.E.1
Seger, C.J.2
-
11
-
-
0003347456
-
Symbolic model checking with partitioned transition relations
-
Edinburgh, Scotland, Aug.
-
J. R. Burch, E. M. Clarke, and D. E. Long, “Symbolic model checking with partitioned transition relations,” in Proc. Int. Conf. Very Large Scale Integration, Edinburgh, Scotland, Aug. 1991.
-
(1991)
Proc. Int. Conf. Very Large Scale Integration
-
-
Burch, J.R.1
Clarke, E.M.2
Long, D.E.3
-
12
-
-
0025566514
-
Sequential circuit verification using symbolic model checking
-
J. R. Burch, E. M. Clarke, K. L. McMillan, and D. L. Dill, “Sequential circuit verification using symbolic model checking,” in Proc. 27th ACM/IEEE Design Automation conf., 1990.
-
(1990)
Proc. 27th ACM/IEEE Design Automation conf
-
-
Burch, J.R.1
Clarke, E.M.2
McMillan, K.L.3
Dill, D.L.4
-
13
-
-
0025595038
-
Symbolic model checking: 1020 states and beyond
-
June
-
J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang, “Symbolic model checking: 10 20 states and beyond,” in Proc. Fifth Ann. IEEE Symp. on Logic in Computer Sci., June 1990.
-
(1990)
Proc. Fifth Ann. IEEE Symp. on Logic in Computer Sci
-
-
Burch, J.R.1
Clarke, E.M.2
McMillan, K.L.3
Dill, D.L.4
Hwang, L.J.5
-
14
-
-
35048900689
-
Symbolic model checking: 1020 states and beyond
-
J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang, “Symbolic model checking: 10 20 states and beyond,” Infor. Computation, vol. 98, no. 2, pp. 142–170, June 1992.
-
(1992)
Infor. Computation
, vol.98
, Issue.2
, pp. 142-170
-
-
Burch, J.R.1
Clarke, E.M.2
McMillan, K.L.3
Dill, D.L.4
Hwang, L.J.5
-
15
-
-
0025537040
-
ATPG aspects of FSM verification
-
H. Cho, G. Hachtel, S.W. Jeong, B. Plessier, E. Schwarz, and F. Somenzi, “ATPG aspects of FSM verification,” in Proc. IEEE Int. Conf. Computer-Aided Design, 1990, pp. 134–137.
-
(1990)
Proc. IEEE Int. Conf. Computer-Aided Design
, pp. 134-137
-
-
Cho, H.1
Hachtel, G.2
Jeong, S.W.3
Plessier, B.4
Schwarz, E.5
Somenzi, F.6
-
16
-
-
85037030721
-
Synthesis of synchronization skeletons for branching time temporal logic
-
D. Kozen, ed. NY: Yorktown Heights, Springer-Verlag
-
E. M. Clarke and E. A. Emerson, “Synthesis of synchronization skeletons for branching time temporal logic,” in Logic of Programs Workshop Lecture Notes in Computer Science, vol. 131, D. Kozen, ed. NY: Yorktown Heights, Springer-Verlag, 1981.
-
(1981)
Logic of Programs Workshop Lecture Notes in Computer Science
, vol.131
-
-
Clarke, E.M.1
Emerson, E.A.2
-
17
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specifications
-
E. M. Clarke, E. A. Emerson, and A. P. Sistla, “Automatic verification of finite-state concurrent systems using temporal logic specifications,” ACM Trans. Programming Languages and Systems, vol. 1, no. 2, pp. 244–263, 1986.
-
(1986)
ACM Trans. Programming Languages and Systems
, vol.1
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
18
-
-
84856140605
-
Verification of synchronous sequential machines based on symbolic execution
-
Yorktown Heights, NY: Springer-Verlag, June
-
O. Coudert, C. Berthet, and J. C. Madre, “Verification of synchronous sequential machines based on symbolic execution,” in Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France; Lecture Notes in Computer Science, vol. 407. Yorktown Heights, NY: Springer-Verlag, June 1989.
-
(1989)
Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France; Lecture Notes in Computer Science
, vol.407
-
-
Coudert, O.1
Berthet, C.2
Madre, J.C.3
-
20
-
-
0011589477
-
Verifying temporal properties of sequential machines without building their state diagrams
-
DIMACS Series in Discrete Mathematics and Theoretical Computer Science, R. Kurshan and E. M. Clarke, ed. American Mathematical Society
-
O. Coudert, J. C. Madre, and C. Berthet, “Verifying temporal properties of sequential machines without building their state diagrams,” in Computer-Aided Verification, Proceedings of the 1990 Workshop; DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 3, R. Kurshan and E. M. Clarke, ed. American Mathematical Society, 1990.
-
(1990)
Computer-Aided Verification, Proceedings of the 1990 Workshop
, vol.3
-
-
Coudert, O.1
Madre, J.C.2
Berthet, C.3
-
21
-
-
0003889387
-
Trace theory for automatic hierarchical verification of speed-independent independent circuits
-
Cambridge, MA: MIT Press
-
D. L. Dill, “Trace theory for automatic hierarchical verification of speed-independent independent circuits,” in Advanced Research in VLSI: Proc. Fifth MIT Conf. Cambridge, MA: MIT Press, 1988.
-
(1988)
Advanced Research in VLSI: Proc. Fifth MIT Conf
-
-
Dill, D.L.1
-
22
-
-
0003889387
-
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
-
Ph.D. dissertation, Carnegie Mellon University, Pittsburgh, PA
-
D. L. Dill, “Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits,” Ph.D. dissertation, Carnegie Mellon University, Pittsburgh, PA, 1988.
-
(1988)
-
-
Dill, D.L.1
-
25
-
-
0342433610
-
Testing containment of w-regular languages
-
Bell Laboratories
-
R. P. Kurshan, “Testing containment of w-regular languages,” Tech. Rep. 1121-861010-33-TM, Bell Laboratories, 1986.
-
(1986)
Tech. Rep. 1121-861010-33-TM
-
-
Kurshan, R.P.1
-
26
-
-
0025546488
-
Dont care minimization of multi-level sequential logic networks
-
B. Lin, H. J. Touati, and A. R. Newton, “Don’t care minimization of multi-level sequential logic networks,” in Proc. IEEE Int. Conf. Computer-Aided Design, 1990, pp. 414–417.
-
(1990)
Proc. IEEE Int. Conf. Computer-Aided Design
, pp. 414-417
-
-
Lin, B.1
Touati, H.J.2
Newton, A.R.3
-
27
-
-
0022217032
-
The design of a self-timed circuit for distributed mutual exclusion
-
A. J. Martin, “The design of a self-timed circuit for distributed mutual exclusion,” in Proc, Chapel Hill Conf. VLSI, 1985.
-
(1985)
Proc, Chapel Hill Conf. VLSI
-
-
Martin, A.J.1
-
29
-
-
0003581145
-
Symbolic Model Checking: An Approach to the State Explosion Problem
-
Ph.D. dissertation, Carnegie Mellon University, Pittsburgh, PA
-
K. L. McMillan, “Symbolic Model Checking: An Approach to the State Explosion Problem,” Ph.D. dissertation, Carnegie Mellon University, Pittsburgh, PA, 1992.
-
(1992)
-
-
McMillan, K.L.1
-
32
-
-
0038030702
-
A computational theory and implementation of sequential hardware equivalence
-
DIMACS Series in Discrete Mathematics and Theoretical Computer Science, R. Kurshan and E. M. Clarke, ed. American Mathematical Society
-
C. Pixley, “A computational theory and implementation of sequential hardware equivalence,” in Computer-Aided Verification, Proceedings of the 1990 Workshop; DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 3, R. Kurshan and E. M. Clarke, ed. American Mathematical Society, 1990.
-
(1990)
Computer-Aided Verification, Proceedings of the 1990 Workshop
, vol.3
-
-
Pixley, C.1
-
33
-
-
0347497175
-
-
New Haven, CT: Yale University, 4th ed.
-
J. A. Rees, N. I. Adams, and J. R. Meehan, The T Manual. New Haven, CT: Yale University, 4th ed., 1984.
-
(1984)
The T Manual
-
-
Rees, J.A.1
Adams, N.I.2
Meehan, J.R.3
-
34
-
-
0025545981
-
Implicit state enumeration of finite state machines using BDDs
-
H. J. Touati, H. Savoj, B. Lin, R. K. Brayton, and A. Sangiovanni-Vincentelli, Vincentelli, “Implicit state enumeration of finite state machines using BDD’s,” in Proc. IEEE Int. Conf. Computer-Aided Design, 1990, pp. 130–133.
-
(1990)
Proc. IEEE Int. Conf. Computer-Aided Design
, pp. 130-133
-
-
Touati, H.J.1
Savoj, H.2
Lin, B.3
Brayton, R.K.4
Sangiovanni-Vincentelli, A.5
|