-
1
-
-
85048855760
-
SCOAP: Sandia controllability/observability analysis program
-
L. H. Goldstein and E. L. Thigpen, “SCOAP: Sandia controllability/observability analysis program,” in Proc. Design Automation Conf., 1980, pp. 190–196.
-
(1980)
Proc. Design Automation Conf
, pp. 190-196
-
-
Goldstein, L.H.1
Thigpen, E.L.2
-
2
-
-
0020303447
-
VICTOR: A fast VLSI testability analysis program
-
I. M. Ratiu, A. Sangiovanni-Vincentelli, and D. O. Pederson, “VICTOR: A fast VLSI testability analysis program,” in Proc. IEEE Test Conf., 1982, pp. 397–401.
-
(1982)
Proc. IEEE Test Conf
, pp. 397-401
-
-
Ratiu, I.M.1
Sangiovanni-Vincentelli, A.2
Pederson, D.O.3
-
3
-
-
0020978555
-
Automatic data path synthesis
-
Dec
-
D. E. Thomas, C. Y. Hitchcock, T. J. Kowalski, J. V. Rajan, and R. A. Walker, “Automatic data path synthesis,” IEEE Computer, vol. 16, pp. 59–70. Dec. 1983.
-
(1983)
IEEE Computer
, vol.16
, pp. 59-70
-
-
Thomas, D.E.1
Hitchcock, C.Y.2
Kowalski, T.J.3
Rajan, J.V.4
Walker, R.A.5
-
4
-
-
0022756374
-
Automated synthesis of data paths in digital systems
-
July
-
C. Tseng and D. P. Siewiorek, “Automated synthesis of data paths in digital systems,” IEEE Trans. Computer-Aided Des., vol. CAD-5, pp. 379–395, July 1986.
-
(1986)
IEEE Trans. Computer-Aided Des
, vol.CAD-5
, pp. 379-395
-
-
Tseng, C.1
Siewiorek, D.P.2
-
5
-
-
85027151577
-
Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions
-
M. C. McFarland, “Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions,” in Proc. Design Automation Conf., 1986, pp. 474–480.
-
(1986)
Proc. Design Automation Conf
, pp. 474-480
-
-
McFarland, M.C.1
-
6
-
-
0024134190
-
Tutorial on high-level level synthesis
-
June
-
M. McFarland, A. Parker, and R. Camposano, “Tutorial on high-level level synthesis,” in Proc. Design Automation Conf., June 1988, pp. 330–336.
-
(1988)
Proc. Design Automation Conf
, pp. 330-336
-
-
McFarland, M.1
Parker, A.2
Camposano, R.3
-
7
-
-
0020496768
-
Design for testability A survey
-
Jan
-
T. W. Williams and K. P. Parker, “Design for testability A survey,” Proc. IEEE, vol. 71, pp. 98–112. Jan. 1983.
-
(1983)
Proc. IEEE
, vol.71
, pp. 98-112
-
-
Williams, T.W.1
Parker, K.P.2
-
8
-
-
0022665471
-
An automatic DFT system for the silc silicon compiler
-
Feb
-
H. S. Fung and S. Hirschhorn. “An automatic DFT system for the silc silicon compiler,” IEEE Design and Test, vol. 3, pp. 45–47. Feb. 1986.
-
(1986)
IEEE Design and Test
, vol.3
, pp. 45-47
-
-
Fung, H.S.1
Hirschhorn, S.2
-
9
-
-
0022106277
-
A knowledge-based system for designing testable VLSI chips
-
M. S. Abadir and M. A. Breuer, “A knowledge-based system for designing testable VLSI chips,” IEEE Design and Test, vol. 2, pp. 56–68, 1985.
-
(1985)
IEEE Design and Test
, vol.2
, pp. 56-68
-
-
Abadir, M.S.1
Breuer, M.A.2
-
10
-
-
0024091886
-
A knowledge-based system for selecting test methodologies
-
Oct
-
X. Zhu and M. A. Breuer, “A knowledge-based system for selecting test methodologies,” IEEE Design and Test, vol. 5, pp. 41–59, Oct. 1988.
-
(1988)
IEEE Design and Test
, vol.5
, pp. 41-59
-
-
Zhu, X.1
Breuer, M.A.2
-
12
-
-
0022873574
-
A perspective on CMOS technology trends
-
Dec
-
W. C. Holton and R. K. Cavin, “A perspective on CMOS technology trends,” Proc., IEEE, vol. 74, pp. 1646–1668. Dec. 1986.
-
(1986)
Proc. IEEE
, vol.74
, pp. 1646-1668
-
-
Holton, W.C.1
Cavin, R.K.2
-
13
-
-
84939330251
-
VLSI design synthesis exploration with testability constraints
-
Dec
-
C. H. Gebotys and M. I. Elmasry, “VLSI design synthesis exploration with testability constraints,” Dept. of Elec. Eng., Univ. of Waterloo, Waterloo, Ont., Canada, Tech. Rep. UW/ICR 87–14, Dec. 1987.
-
(1987)
Dept. of Elec. Eng., Univ. of Waterloo, Waterloo, Ont., Canada, Tech. Rep. UW/ICR
, pp. 14-87
-
-
Gebotys, C.H.1
Elmasry, M.I.2
-
14
-
-
84939390159
-
Scheduling and allocation for behavioral synthesis of pipelined ASICs
-
Manitoba, Canada Oct
-
P. G. Paulin and J. P. Knight, “Scheduling and allocation for behavioral synthesis of pipelined ASICs,” in Proc. Canadian Conf. VLSI (Manitoba, Canada), Oct 1987, pp. 229–234.
-
(1987)
Proc. Canadian Conf. VLSI
, pp. 229-234
-
-
Paulin, P.G.1
Knight, J.P.2
-
15
-
-
0023312914
-
Flamel: A high-level hardware compiler
-
Mar
-
H. Trickey, “Flamel: A high-level hardware compiler,” IEEE Trans. Computer-Aided Des., vol. CAD-6, pp. 259–269. Mar. 1987.
-
(1987)
IEEE Trans Computer-Aided Des
, vol.CAD-6
, pp. 259-269
-
-
Trickey, H.1
-
17
-
-
0347391956
-
Automation in design for testability
-
V. D. Agrawal, S. K. Jain, and D. M. Singer, “Automation in design for testability,” in Proc. Custom Integrated Circuits Conf., 1984, pp. 159–163.
-
(1984)
Proc. Custom Integrated Circuits Conf
, pp. 159-163
-
-
Agrawal, V.D.1
Jain, S.K.2
Singer, D.M.3
-
18
-
-
0022186347
-
A knowledge based system for selecting a test methodology for a PLA
-
June
-
M. A. Breuer and Xi-an Zhu, “A knowledge based system for selecting a test methodology for a PLA,” in Proc. Design Automation Conf., June 1985, pp. 259–265.
-
(1985)
Proc. Design Automation Conf
, pp. 259-265
-
-
Breuer, M.A.1
Zhu, X.-A.2
-
19
-
-
0001581302
-
Design tools for intelligent silicon compilation
-
Nov
-
B. M. Pangrle and D. D. Gajski, “Design tools for intelligent silicon compilation,” IEEE Trans. Computer-Aided Des., vol. CAD-6, 6, no. 6, pp. 1098–1112. Nov. 1987.
-
(1987)
IEEE Trans. Computer-Aided Des
, vol.CAD-6
, Issue.6
, pp. 1098-1112
-
-
Pangrle, B.M.1
Gajski, D.D.2
-
20
-
-
0021784846
-
A procedure for placement of standard-cell VLSI circuit
-
Jan
-
A. E. Dunlop and B. W. Kernighan, “A procedure for placement of standard-cell VLSI circuits,” IEEE Trans. Computer-Aided Des., vol. CAD-4, pp. 92–98, Jan. 1985.
-
(1985)
IEEE Trans. Computer-Aided Des
, vol.CAD-4
, pp. 92-98
-
-
Dunlop, A.E.1
Kernighan, B.W.2
-
21
-
-
84990479742
-
An efficient heuristic procedure for partitioning graphs
-
B. W. Kernighan and S. Lin, “An efficient heuristic procedure for partitioning graphs,” Bell Syst. Tech J., vol. 49, no. 2, pp. 291–308, 1970.
-
(1970)
Bell Syst. Tech J
, vol.49
, Issue.2
, pp. 291-308
-
-
Kernighan, B.W.1
Lin, S.2
|