Specifications for a design automation system
暂无分享,去创建一个
[1] Kenneth E. Iverson,et al. A Formal Description of SYSTEM/360 , 1964, IBM Syst. J..
[2] Bertram Bussell,et al. Parallel Processing in a Restructurable Computer System , 1963, IEEE Trans. Electron. Comput..
[3] Kenneth E. Iverson,et al. A programming language , 1899, AIEE-IRE '62 (Spring).
[4] Thomas C. Bartee,et al. Computer Design of Multiple-Output Logical Networks , 1961, IRE Trans. Electron. Comput..
[5] Hans P. Schlaeppi. A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS) , 1964, IEEE Trans. Electron. Comput..
[6] Charles Coleman,et al. Using Digital Computers in the Design and Maintenance of New Computers , 1961, IRE Trans. Electron. Comput..
[7] D. F. Gorman,et al. A logic design translator , 1962, AFIPS '62 (Fall).
[8] Thomas M. Spence,et al. Solid Logic Design Automation , 1964, IBM J. Res. Dev..
[9] Morton N. Weindling. A method for the best geometric placement of units on a plane , 1964, DAC.
[10] J. Paul Roth,et al. Algorithms for logical design , 1961, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.
[11] M. I. Schneider. STATE ASSIGNMENT ALGORITHM FOR CLOCKED SEQUENTIAL MACHINES , 1962 .
[12] Charles W. Rosenthal. Computing Machine Aids to a Development Project , 1961, IRE Trans. Electron. Comput..
[13] R. A. Rutman. An algorithm for placement of interconnected elements based on minimum wire length , 1964, AFIPS '64 (Spring).
[14] M. S. Zucker. LOCS: An EDP Machine Logic and Control Simulator , 1965, IEEE Trans. Electron. Comput..