-
1
-
-
0025386057
-
The high-level synthesis of digital systems
-
Feb.
-
M. McFarland, A. Parker, and R. Camposano, “The high-level synthesis of digital systems,” Proc. IEEE, vol. 78, Feb. 1990.
-
(1990)
Proc. IEEE
, vol.78
-
-
McFarland, M.1
Parker, A.2
Camposano, R.3
-
2
-
-
0022954177
-
Behavioral synthesis with interfaces
-
Nov.
-
J. Nestor and D. Thomas, “Behavioral synthesis with interfaces,” in Proc. ICCAD-86, pp. 112–115, Nov. 1986.
-
(1986)
Proc. ICCAD-86
, pp. 112-115
-
-
Nestor, J.1
Thomas, D.2
-
3
-
-
0023004653
-
Considering timing constraints in synthesis from a behavioral description
-
Oct.
-
R. Camposano and A. Kunzmann, “Considering timing constraints in synthesis from a behavioral description,” in Proc. ICCD, pp. 6–9, Oct. 1986.
-
(1986)
Proc. ICCD
, pp. 6-9
-
-
Camposano, R.1
Kunzmann, A.2
-
4
-
-
0023564267
-
Synthesis and Optimization of Interface Transducer logic
-
Nov.
-
G. Borriello and R. Katz “Synthesis and Optimization of Interface Transducer logic,” in Proc. ICCAD-87, pp. 274–277, Nov. 1987.
-
(1987)
Proc. ICCAD-87
, pp. 274-277
-
-
Borriello, G.1
Katz, R.2
-
5
-
-
0024682923
-
Force-directed scheduling for behavioral synthesis of ASIC’s
-
June
-
P. Paulin and J. Knight, “Force-directed scheduling for behavioral synthesis of ASIC’s,” IEEE Trans. Computer-Aided Design, Vol. 8, pp. 661–678, June 1989.
-
(1989)
IEEE Trans. Computer-Aided Design
, vol.8
, pp. 661-678
-
-
Paulin, P.1
Knight, J.2
-
6
-
-
0020499099
-
A method of automatic data path synthesis
-
June
-
C. Hitchcock and D. Thomas, “A method of automatic data path synthesis,” in Proc. 20th DAC, pp. 484–489, June 1983.
-
(1983)
Proc. 20th DAC
, pp. 484-489
-
-
Hitchcock, C.1
Thomas, D.2
-
7
-
-
0022756374
-
Automated synthesis of data paths in digital systems
-
July
-
C. Tseng and D. Siewiorek, “Automated synthesis of data paths in digital systems,” IEEE Trans. Computer-Aided Design, vol. CAD-5, 379–395, July 1986.
-
(1986)
IEEE Trans. Computer-Aided Design
, vol.CAD-5
, pp. 379-395
-
-
Tseng, C.1
Siewiorek, D.2
-
8
-
-
0003825447
-
-
New York: Kluwer Academic
-
D. Thomas, E. Lagnese, R. Walker, J. Nestor, J. Rajan, and R. Blackburn, Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench. New York: Kluwer Academic, 1990.
-
(1990)
Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench
-
-
Thomas, D.1
Lagnese, E.2
Walker, R.3
Nestor, J.4
Rajan, J.5
Blackburn, R.6
-
9
-
-
0021542172
-
An ADA to standard cell hardware compiler based on graph grammars and scheduling
-
Oct.
-
E. Girczyc and J. Knight, “An ADA to standard cell hardware compiler based on graph grammars and scheduling,” in Proc. ICCD, pp. 726–731, Oct. 1984.
-
(1984)
Proc. ICCD
, pp. 726-731
-
-
Girczyc, E.1
Knight, J.2
-
10
-
-
0025489298
-
Incorporating bottom-up design into high-level synthesis
-
Sept.
-
M. McFarland and T. Kowalski, “Incorporating bottom-up design into high-level synthesis,” IEEE Trans. Computer-Aided Design, vol. 8, pp. 938–950, Sept. 1990.
-
(1990)
IEEE Trans. Computer-Aided Design
, vol.8
, pp. 938-950
-
-
McFarland, M.1
Kowalski, T.2
-
11
-
-
0023592674
-
Slicer: A state synthesizer for intelligent silicon compilation
-
Oct.
-
B. Pangrle and D. Gajski, “Slicer: A state synthesizer for intelligent silicon compilation,” in Proc. ICCD-87, Oct. 1987.
-
(1987)
Proc. ICCD-87
-
-
Pangrle, B.1
Gajski, D.2
-
12
-
-
0024883468
-
Loop optimization in register-transfer scheduling for DSP-systems
-
June
-
G. Goossens, J. Vandewalle, and H. De Man, “Loop optimization in register-transfer scheduling for DSP-systems,” in Proc. 26th DAC, pp. 826–831, June 1989.
-
(1989)
Proc. 26th DAC
, pp. 826-831
-
-
Goossens, G.1
Vandewalle, J.2
De Man, H.3
-
13
-
-
26444479778
-
Optimization by simulated annealing
-
May
-
S. Kirkpatrick, C. Gelatt, and M. Vecchi, “Optimization by simulated annealing,” Science, vol. 220, no. 4598, pp. 671–680, May 1983.
-
(1983)
Science
, vol.220
, Issue.4598
, pp. 671-680
-
-
Kirkpatrick, S.1
Gelatt, C.2
Vecchi, M.3
-
14
-
-
0024706222
-
Algorithms for hardware allocation in data path synthesis
-
July
-
S. Devadas and A. R. Newton, “Algorithms for hardware allocation in data path synthesis,” IEEE Trans. Computer-Aided Design, vol. 8, pp. 768–781, July 1989.
-
(1989)
IEEE Trans. Computer-Aided Design
, vol.8
, pp. 768-781
-
-
Devadas, S.1
Newton, A.R.2
-
15
-
-
84941538748
-
Pipelined and non-pipelined data path synthesis using simulated annealing
-
Feb.
-
M. Quayle and L. Grover, “Pipelined and non-pipelined data path synthesis using simulated annealing,” Progress in Computer Aided VLSI Design, vol. 4, Feb. 1990.
-
(1990)
Progress in Computer Aided VLSI Design
, vol.4
-
-
Quayle, M.1
Grover, L.2
-
17
-
-
0024942755
-
A new Integer linear programming formulation for the scheduling problem in data path synthesis
-
Nov.
-
J. Lee, “A new Integer linear programming formulation for the scheduling problem in data path synthesis,” in Proc. ICCAD, pp. 20–23, Nov. 1989.
-
(1989)
Proc. ICCAD
, pp. 20-23
-
-
Lee, J.1
-
18
-
-
0026174907
-
A global, optimization approach for architectural synthesis
-
June
-
C. Gebotys and M. Elmasry, “A global, optimization approach for architectural synthesis,” in Proc. 28th DAC, pp. 2–7, June 1991.
-
(1991)
Proc. 28th DAC
, pp. 2-7
-
-
Gebotys, C.1
Elmasry, M.2
-
19
-
-
0024889853
-
Automatic production of controller specification from control and timing behavioral descriptions
-
June
-
S. Hayati and A. Parker, “Automatic production of controller specification from control and timing behavioral descriptions,” in Proc. 26th DAC, pp. 75–80, June 1989.
-
(1989)
Proc. 26th DAC
, pp. 75-80
-
-
Hayati, S.1
Parker, A.2
-
21
-
-
0020734713
-
An algorithm to compact a VLSI symbolic layout with mixed constraints
-
Apr.
-
Y. Liao and C. Wong, “An algorithm to compact a VLSI symbolic layout with mixed constraints,” IEEE Trans. Computer-Aided Design, vol. CAD-2, pp. 62–69, Apr. 1983.
-
(1983)
IEEE Trans. Computer-Aided Design
, vol.CAD-2
, pp. 62-69
-
-
Liao, Y.1
Wong, C.2
-
22
-
-
0003431188
-
A new interface specification methodology and its application to transducer synthesis
-
May
-
G. Borriello, “A new interface specification methodology and its application to transducer synthesis,” Ph.D. dissertation, Univ. of California at Berkeley, May 1988.
-
(1988)
Ph.D. dissertation, Univ. of California at Berkeley
-
-
Borriello, G.1
-
23
-
-
0025543924
-
Relative scheduling under timing constraints
-
June
-
D. Ku and G. De Micheli, “Relative scheduling under timing constraints,” in Proc. 27th DAC, pp. 59–64, June 1990.
-
(1990)
Proc. 27th DAC
, pp. 59-64
-
-
Ku, D.1
De Micheli, G.2
-
25
-
-
84911793089
-
Routing
-
B. Preas and M. Lorenzetti, ed. Menlo Park, CA: Benjamin-Cummings
-
M. Lorenzetti and D. Baeder, “Routing,” in Physical Design Automation of VLSI Systems, B. Preas and M. Lorenzetti, ed. Menlo Park, CA: Benjamin-Cummings, 1988.
-
(1988)
Physical Design Automation of VLSI Systems
-
-
Lorenzetti, M.1
Baeder, D.2
-
26
-
-
0024128175
-
Bridge: A versatile behavioral synthesis system
-
June
-
C. Tseng, R. Wei, S. Rothweiler, M. Tong, and A. Bose, “Bridge: A versatile behavioral synthesis system,” in Proc. 25th DAC, pp. 415–420, June 1988.
-
(1988)
Proc. 25th DAC
, pp. 415-420
-
-
Tseng, C.1
Wei, R.2
Rothweiler, S.3
Tong, M.4
Bose, A.5
-
27
-
-
0024904928
-
A resource sharing and control synthesis method for conditional branches
-
Nov.
-
K. Wakabayashi and T. Yoshimura, “A resource sharing and control synthesis method for conditional branches,” in Proc. ICCAD-89, pp. 62–65, Nov. 1989.
-
(1989)
Proc. ICCAD-89
, pp. 62-65
-
-
Wakabayashi, K.1
Yoshimura, T.2
-
28
-
-
0022565967
-
SPARCS: A new constraint-based IC symbolic layout spacer
-
May
-
J. Bums and A. R. Newton, “SPARCS: A new constraint-based IC symbolic layout spacer,” in Proc. CICC, pp. 534–539, May 1986.
-
(1986)
Proc. CICC
, pp. 534-539
-
-
Bums, J.1
Newton, A.R.2
-
29
-
-
0347261502
-
Symbolic Layout and Procedural Design
-
Dordrecht, The Netherlands: Martinus Nijhoff
-
A. R. Newton, “Symbolic Layout and Procedural Design,” in Design Systems for VLSI Circuits. Dordrecht, The Netherlands: Martinus Nijhoff, 1987, pp. 65–112.
-
(1987)
Design Systems for VLSI Circuits
, pp. 65-112
-
-
Newton, A.R.1
-
30
-
-
85050214309
-
MAHA: A program for datapath synthesis
-
July
-
A. Parker, J. Pizarro, and M. Mlinar, “MAHA: A program for datapath synthesis,” in Proc. 22nd DAC, pp. 461–466, July 1986.
-
(1986)
Proc. 22nd DAC
, pp. 461-466
-
-
Parker, A.1
Pizarro, J.2
Mlinar, M.3
-
31
-
-
0024480849
-
Simulated annealing algorithms—An overview
-
Jan.
-
R. Rutenbar, “Simulated annealing algorithms—An overview,” IEEE Circuits Devices Mag., vol. 6, no. 1, Jan. 1989.
-
(1989)
IEEE Circuits Devices Mag.
, vol.6
, Issue.1
-
-
Rutenbar, R.1
-
32
-
-
0022982761
-
An efficient general cooling schedule for simulated annealing
-
Nov.
-
M. Huang, R. Romeo, and A. Sangiovanni-Vincentelli, “An efficient general cooling schedule for simulated annealing,” in Proc. ICCAD-86, pp. 381–384, Nov. 1986.
-
(1986)
Proc. ICCAD-86
, pp. 381-384
-
-
Huang, M.1
Romeo, R.2
Sangiovanni-Vincentelli, A.3
-
33
-
-
0024133785
-
High-level synthesis: Current status and future directions
-
June
-
G. Borriello and E. Detjens, “High-level synthesis: Current status and future directions,” Proc. 25th DAC, pp. 477–482, June 1988.
-
(1988)
Proc. 25th DAC
, pp. 477-482
-
-
Borriello, G.1
Detjens, E.2
-
34
-
-
0024906272
-
Scheduling and binding algorithms for high-level synthesis
-
June
-
P. Paulin and J. Knight, “Scheduling and binding algorithms for high-level synthesis,” in Proc. 26th DAC, pp. 1–6, June 1989.
-
(1989)
Proc. 26th DAC
, pp. 1-6
-
-
Paulin, P.1
Knight, J.2
-
35
-
-
0026139605
-
A formal approach to the scheduling problem in high-level synthesis
-
Apr.
-
C. Hwang, J. Lee, and Y. Hsu, “A formal approach to the scheduling problem in high-level synthesis,” IEEE Trans. Computer-Aided Design, vol. 8, pp. 464–475, Apr. 1991.
-
(1991)
IEEE Trans. Computer-Aided Design
, vol.8
, pp. 464-475
-
-
Hwang, C.1
Lee, J.2
Hsu, Y.3
-
36
-
-
0026172137
-
Fast prototyping of datapath-intensive architectures
-
June
-
J. Rabaey, C. Chu, P. Hoang, and M. Potkonjak, “Fast prototyping of datapath-intensive architectures,” IEEE Design Test, June 1991.
-
(1991)
IEEE Design Test
-
-
Rabaey, J.1
Chu, C.2
Hoang, P.3
Potkonjak, M.4
-
37
-
-
33749876762
-
One-dimensional linear picture transformer
-
U.S. Patent 4 881 192
-
R. Woudsma, et al., “One-dimensional linear picture transformer,” U.S. Patent 4 881 192.
-
-
-
Woudsma, R.1
-
38
-
-
0027060170
-
Improved force-directed scheduling
-
Feb.
-
W. Verhaegh, E. Aarts, J. Korst, and P. Lippens, “Improved force-directed scheduling,” in Proc. EDAC 91, pp. 430–435, Feb. 1991.
-
(1991)
Proc. EDAC 91
, pp. 430-435
-
-
Verhaegh, W.1
Aarts, E.2
Korst, J.3
Lippens, P.4
|