Pdf - Tutorial on High-Level Synthesis - University of Windsor

1. Barbacci. M.R. Automated Exploration of the DesignSpace for Register Transfer (RT) Systems. PhD Thesis,Carnegie-Mellon University, 1973.2.3.4.5.6.7.8.9.10.11.12.13.14.15.REFERENCES 16.Barbacci. M.R. Instruction Set Processor Specifications(ISPS): The Notation and its Applications. IEEE Transactionson Computers C-30, 1 (January, 1981). 2440. 18.BorrielIo, G. and Katz, R.H. Synthesis and Optimizationof Interface Transducer Logic. Proceedings of the internationConference on Computer-Aided Design (Nove.mber 9,1987). 274-277.Brayton, R.K.. Camposano. R., DeMicheli, G.:. Gtten,R.H.J.M., and vanEijndhoven, J. The Yorktown SiliconCompiler. In Silicon Compilation, D.D. Gajski, Ed.Addison-Wesley, Reading, MA, 1988, pp. 204-311.Brewer, F.D. and Gajski. D.D. Knowledge Based Controlin Micro-Architecture Design. In Proceedings of the 24thDesign Automation Conference, ACM and IEEE, June,1987, pp. 203-209.Davidson, S., Landskov. D., Shriver, B.D.. and Mallet&P.W. Some experiments in local microcode compaction forhorizontal machines. IEEE Transactions on Computers C-30. 7 (July, 1981). 460-477.DeMan, H., Rabaey, J., Six, P., and Claesen. L. CathedralII: A Silicon Compiler for Digital Signal Processing. IEEEDesign and Test 3, 6 (December, 1986), 13-25. 23.Girczyc, E.F. Automatic Generation of MicrosequencedData Paths to Realize ADA Circuit Descriptions. PhDThesis, Carleton University, July, 1984. 24.Hafer. L.J. and Parker, A.C. Register-Transfer Level DigitalDesign Automation: The Allocation Process. InProceedings of the 15th Design Automation Conference,ACM and IEEE, June, 1978, pp. 213-219.Hitchcock, C.Y. and Thomas, D.E. A Method ofAutomatic Data Path Synthesis. In Proceedings of the 20thDesign Automation Conference, ACM and IEEE, June,1983, pp. 484-489.Johnson, S.D. Synthesis of Digital Designs from RecursionEquations. PhD Thesis, Indiana University, 1984.MIT Press.Knapp, D.. Granacki, J., and Parker, A.C. An Expert SynthesisSystem. In Proceedings of the International Conferenceon Computer-aided Design, ACM and IEEE,September, 1984, pp. 419-24. 27.Kowalski, T.J. An Artificial Intelligence Approach to VLSIDesign. Kluwer Academic Publishers, Boston, 1985.Kurdahi, F.J. and Parker, A.C. PLEST: A Program forArea Estimation of VLSI Integrated Circuits. In Proceedingsof the 23rd Design Automation Conference, ACM andIEEE, June, 1986, pp. 467-473.Kurdahi, F.J. and Parker, A.C. REAL: A Program forREgister ALlocation. In Proceedings of the 24th DesignAutomation Conference, ACM and IEEE, June, 1987, pp.210-215.17.19.20.21.22.25.26.28.29.McFarland, M.C. The VT: A Database for AutomatedDigital Design. DRC-01-4-80, Design Research Center,Carnegie-Mellon University, December, 1978.McFarland, M.C. Using Bottom-Up Design Techniques inthe Synthesis of Digital Hardware from Abstract BehavioralDescriptions. In Proceedings of the 23rd Design AutomationConference, IEEE and ACM, June, 1986.McFarland, M.C. and Parker, A.C. An Abstract Model ofBehavior for Hardware Descriptions. IEEE Transactionson Computers C-32, 7 (July, 1983). 621-36.Nestor, J.A. Specification 8z Synthesis of Digital Systemswith Interfaces. CMUCAD-87-10, Department of Electricaland Computer Engineering, Carnegie-Mellon Uy, April,1987.Park, N. and Parker, AC. Sehwa: A Software Package forSynthesis of Pipelines from Behavioral Specifications.IEEE Transactions on Computer-Aided Design of DigitalCircuits and Systems 7, 3 (March, 1988), 356-370.Parker, A.C., Plzarm, J., and Mlinar, M. MAHA: A Pmgramfor Datapath Synthesis. In Proceedings of the 23rdDesign Automation Conference, ACM and IEEE, June,1986, pp. 461-466.Paulin, P.G. and Knight, J.P. Force-Directed Scheduling inAutomatic Data Path Synthesis. in Proceedings of the 24thDesign Automation Conference, ACM and IEEE, June,1987, pp. 195-202.Peng, 2. Synthesis of VLSI Systems with the CAMADDesign Aid. In Proceedings of the 23rd Design AutomationConference, IEEE and ACM, June, 1986, pp. 278-284.Rajan, J.V. and Thomas, D.E. Synthesis by Delayed Bindingof Decisions. In Proceedings of the 22nd Design AutomationCorgference, ACM and IEEE, June, 1985. pp. 367-73.Rosenstiel, W. and Camposano, R. Synthesizing Circuitsfrom ,Behavioral Level Specifications. In Proceedings ofthe 7th International Conference on Computer HardwareDescription Languages and their Applications, C. Koomenand T. Moto-oka, Eds.. North-Holland, August, 1985, pp.391-402.Snow, E.A.. Siewiorek, D.P., and Thomas, D.E. ATechnology-Relative Computer-Aided Design System:Abstract Representations, Transformations, and DesignTradeoffs. In Proceedings of the 15th Design AutomationConference, ACM and IEEE, 1978, pp. 220-226.Trickey, H. Flamel: A High-Level Hardware Compiler.IEEE Transactions on CAD CAD-6, 2 (March, 1987), 259-269.Tseng, C. and Siewiorek. D.P. Automated Synthesis ofData Paths in Digital Systems. IEEE Transactions onComputer-Aided Design of Integrated Circuits and SystemsCAD-5, 3 (July, 1986). 379-395.Zimmemamm, G. MDS-The Mimola Design Method.Journal of Digital Systems 4, 3 (1980), 337-369.Paper 23.1336