Approaches toward silicon compilation

Various approaches to silicon compilation are evaluated. The advantages and disadvantages of each are discussed, and a silicon compilation environment is proposed that combines the approaches in such a way as to adopt the best features of the various methods and avoid their problems. Attention is also given to a set of support tools for this proposed environment.

[1]  Christopher Rosebrugh,et al.  The Silc silicon compiler: language and features , 1985, DAC.

[2]  David May.  OCCAM , 1983, SIGP.

[3]  A. V. Goldberg,et al.  GEM: a generator of environments for mataprogramming , 1985 .

[4]  C. Johnson,et al.  In Unix Programmer''s Manual , 1978 .

[5]  Mary Sheeran,et al.  muFP, a language for VLSI design , 1984, LFP '84.

[6]  Jacob A. Abraham,et al.  Test Generation for Microprocessors , 1980, IEEE Transactions on Computers.

[7]  Howard E. Shrobe,et al.  The Data Path Generator , 1982, COMPCON.

[8]  David R. Barstow,et al.  Knowledge-based program construction , 1979 .

[9]  Steven M. German,et al.  Zeus: A Language for Expressing Algorithms in Hardware , 1985, Computer.

[10]  Stephen C. Johnson.  Code generation for silicon , 1983, POPL '83.

[11]  C.H. Sequin.  Managing VLSI complexity: An outlook , 1983, Proceedings of the IEEE.

[12]  Ralf Steinbrüggen,et al.  Program Transformation Systems , 1983, CSUR.

[13]  Donald E. Thomas,et al.  Automatic Data Path Synthesis , 1983, Computer.

[14]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[15]  Willie Y.-P. Lim,et al.  HISDL—a structure description language , 1982, CACM.

[16]  Gary Lindstrom,et al.  Transformation of ADA Programs into Silicon , 1982 .

[17]  Karl Lieberherr.  Toward a Standard Hardware Description Language , 1985, IEEE Design & Test of Computers.

[18]  Svend Erik Knudsen.  Medos-2: a Modula-2 oriented operating system for the personal computer Lilith , 1983 .

[19]  H. S. Fung,et al.  Design for Testability in a Silicon Compilation Environment , 1985, DAC 1985.

[20]  Murray Hill,et al.  Yacc: Yet Another Compiler-Compiler , 1978 .

[21]  Alan M. Davis,et al.  Parallels between software and VLSI engineering , 1984, J. Syst. Softw..

[22]  Richard J. Lipton,et al.  Programming aspects of VLSI: (preliminary version) , 1982, POPL '82.

[23]  Melvin A. Breuer,et al.  Automatic Design for Testability Via Testability Measures , 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.