-
1
-
-
33646948980
-
The first asynchronous microprocessor: The test results
-
June
-
Alain J. Martin, Steven M. Burns, T. K. Lee, Drazen Borkovic, and Pieter J. Hazewindus. The first asynchronous microprocessor: the test results. Computer Architecture News, 17(4):95-110, June 1989.
-
(1989)
Computer Architecture News
, vol.17
, Issue.4
, pp. 95-110
-
-
Martin, A.J.1
Burns, S.M.2
Lee, T.K.3
Borkovic, D.4
Hazewindus, P.J.5
-
2
-
-
0028754336
-
The design and evaluation of an asynchronous microprocessor
-
IEEE Computer Society Press, October
-
S. B. Furber, P. Day, J. D. Garside, N. C. Paver, S. Temple, and J. V. Woods. The design and evaluation of an asynchronous microprocessor. In Proc. International Conf. Computer Design (ICCD). IEEE Computer Society Press, October 1994.
-
(1994)
Proc. International Conf. Computer Design (ICCD)
-
-
Furber, S.B.1
Day, P.2
Garside, J.D.3
Paver, N.C.4
Temple, S.5
Woods, J.V.6
-
3
-
-
0028448101
-
TITAC : Design of a quasi- delay-insensitive microprocessor
-
T. Nanya, Y. Ueno, H. Kagotani, M. Kuwako, and A. Takamura. TITAC : Design of a quasi- delay-insensitive microprocessor. IEEE Design & Test of computers, ll(2):50-63, 1994.
-
(1994)
IEEE Design & Test of Computers
, vol.11
, Issue.2
, pp. 50-63
-
-
Nanya, T.1
Ueno, Y.2
Kagotani, H.3
Kuwako, M.4
Takamura, A.5
-
4
-
-
35048900689
-
20 states and beyond
-
20 states and beyond. Academic Press, 98(2):142-170, 1992.
-
(1992)
Academic Press
, vol.98
, Issue.2
, pp. 142-170
-
-
Burch, J.R.1
Clarke, E.M.2
Dill, D.L.3
Hwang, L.J.4
McMillan, K.L.5
-
7
-
-
0348225427
-
Defining conditional independence using collapses
-
M. Kwiatkowska (ed.), Springer
-
S. Katz and D. Peled. Defining conditional independence using collapses. Semantics for concurrency, BCS-FACS Workshop, M. Kwiatkowska (ed.), Springer, 1990.
-
(1990)
Semantics for Concurrency, BCS-FACS Workshop
-
-
Katz, S.1
Peled, D.2
-
9
-
-
85041837331
-
On model checking for petri nets and a linear-time temporal logic
-
T. Yoneda and H. Schlingloff. On model checking for Petri nets and a linear-time temporal logic. IEICE technical report, FTS92(l):1-8, 1992.
-
(1992)
IEICE Technical Report
, vol.FTS92
, Issue.1
, pp. 1-8
-
-
Yoneda, T.1
Schlingloff, H.2
-
13
-
-
0029482463
-
Combining partial orders and symbolic traversal for efficient verification of asynchronous circuits
-
Alexei Semenov and Alexandre Yakovlev. Combining partial orders and symbolic traversal for efficient verification of asynchronous circuits. Proc. of CHDL'95, pages 567-573, 1995.
-
(1995)
Proc. of CHDL'95
, pp. 567-573
-
-
Semenov, A.1
Yakovlev, A.2
-
14
-
-
84947925823
-
Trace theoretic verification of asynchronous circuits using unfoldings
-
K. L. McMillan. Trace theoretic verification of asynchronous circuits using unfoldings. LNCS 939 Computer aided verification, pages 180-195, 1995.
-
(1995)
LNCS 939 Computer Aided Verification
, pp. 180-195
-
-
McMillan, K.L.1
-
16
-
-
0028533091
-
A correctness criterion for asynchronous circuit validation and optimization
-
November
-
Ganesh Gopalakrishnan, Erik Brunvand, Nick Michell, and Steven Nowick. A correctness criterion for asynchronous circuit validation and optimization. IEEE Transactions on Computer-Aided Design, 13(11):1309-1318, November 1994.
-
(1994)
IEEE Transactions on Computer-Aided Design
, vol.13
, Issue.11
, pp. 1309-1318
-
-
Gopalakrishnan, G.1
Brunvand, E.2
Michell, N.3
Nowick, S.4
-
18
-
-
85069171564
-
Automatic verification method of asynchronous circuits using petri nets
-
I. Honma and T. Yoneda. Automatic verification method of asynchronous circuits using Petri nets. IEICE technical report (in Japanese), FTS92(24):23-30, 1992.
-
(1992)
IEICE Technical Report (In Japanese)
, vol.FTS92
, Issue.24
, pp. 23-30
-
-
Honma, I.1
Yoneda, T.2
-
20
-
-
30244447370
-
Verification of bounded delay asynchronous circuits with timed traces
-
94TR-0013
-
T. Yoneda, I. Honma, and H. Schlingloff. Verification of bounded delay asynchronous circuits with timed traces. TIT technical report, 94TR-0013, 1994.
-
(1994)
TIT Technical Report
-
-
Yoneda, T.1
Honma, I.2
Schlingloff, H.3
|