-
7
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
Aug
-
R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, Aug. 1986.
-
(1986)
IEEE Transactions on Computers
, vol.35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
8
-
-
0029508892
-
Binary decision diagrams and beyond: Enabling technologies for formal verification
-
R. E. Bryant. Binary decision diagrams and beyond: Enabling technologies for formal verification. In IEEE Internationl Conference on Computer-Aided Design, 1995.
-
(1995)
IEEE Internationl Conference on Computer-Aided Design
-
-
Bryant, R.E.1
-
15
-
-
19244370184
-
Spectral transforms for large Boolean functions with application to technology mapping
-
E. Clarke, K. McMillan, X. Zhao, M. Fujita, and H.-Y. Yang. Spectral transforms for large Boolean functions with application to technology mapping. In 30 th ACM/IEEE Design Automation Conference, 1993.
-
(1993)
30 Th ACM/IEEE Design Automation Conference
-
-
Clarke, E.1
McMillan, K.2
Zhao, X.3
Fujita, M.4
Yang, H.-Y.5
-
17
-
-
0005031024
-
A proof of correctness of the Viper microprocessor: The first level
-
Ktuwer Acad. Publ., Jan
-
A. Cohn. A proof of correctness of the Viper microprocessor: the first level. In VLSI Specification, Verification and Synthesis. Ktuwer Acad. Publ., Jan. 1987.
-
(1987)
VLSI Specification, Verification and Synthesis
-
-
Cohn, A.1
-
19
-
-
84957614157
-
-
Reference Manual. Version 5. 10. Technical report, INRIA Rocquencourt - CNRS-ENS Lyon
-
Comes, Courant, Filliâtre, Huet, Manoury, Mũnoz, Murthy, Parent, Panlin-Mohring, Saïbi, and Werner. The Coq Proof Assistant. Reference Manual. Version 5. 10. Technical report, INRIA Rocquencourt - CNRS-ENS Lyon, 1996.
-
(1996)
The Coq Proof Assistant
-
-
Comes, C.1
Filliâtre, H.2
Manoury, M.3
Murthy, P.4
Panlin-Mohring, And Werner, S.5
-
23
-
-
0001550560
-
Formal hardware verification methods: A survey
-
Oct
-
A. Gupta. Formal hardware verification methods: a survey. Formal Methods in System Design, 1(2/3):151-238, Oct. 1992.
-
(1992)
Formal Methods in System Design
, vol.1
, Issue.2-3
, pp. 151-238
-
-
Gupta, A.1
-
26
-
-
33746063991
-
Higher-level specification and verification with BDDs
-
A. D. Hu, D. L. Dill, A. J. Drexler, and H. C. Yang. Higher-level specification and verification with BDDs. In Computer-Aided Verification: Fourth International Workshop, volume 663 of LNCS, 1992.
-
(1992)
Computer-Aided Verification: Fourth International Workshop, Volume 663 of LNCS
-
-
Hu, A.D.1
Dill, D.L.2
Drexler, A.J.3
Yang, H.C.4
-
27
-
-
0003878157
-
-
PhD thesis, Institute for Computing Science, University of Texas at Austin
-
W. Hunt Jr. FM8501: a Verified Microprocessor. PhD thesis, Institute for Computing Science, University of Texas at Austin, 1986.
-
(1986)
FM8501: A Verified Microprocessor
-
-
Hunt, W.1
-
32
-
-
0029218969
-
Formal modeling and verification of microprocessors
-
Jan
-
P. J. Windley. Formal modeling and verification of microprocessors. IEEE Transactions on Computers, 44(1), Jan. 1995.
-
(1995)
IEEE Transactions on Computers
, vol.44
, Issue.1
-
-
Windle, P.J.1
|