메뉴 건너뛰기




Volumn 12, Issue 8, 1993, Pages 1107-1122

SALSA: A New Approach to Scheduling with Timing Constraints

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0000577173     PISSN: 02780070     EISSN: 19374151     Source Type: Journal    
DOI: 10.1109/43.238604     Document Type: Article
Times cited : (38)

References (38)
  • 1
    • 0025386057 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 9
    • 0021542172 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 26
    • 0024128175 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 37
    • 33749876762 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.