Список ссылок по теме магистерской работы

Составитель: Свеженцев Юрий Владимирович
Тема магистерской работы: "Исследование и разработка эффективных методов построения генерации кода для выражений языка Verilog"

Язык описания аппаратуры Verilog

1. http://www.verilog.com/- сайт, посвещенный языку описания аппаратуры Verilog
2. http://en.wikipedia.org/wiki/Verilog - Verilog wikipedia
3. http://www.sutherland-hdl.com/on-line_ref_guide/vlog_ref_top.html - Verilog HDL Quick Reference Guide
4. http://www.asic-world.com/verilog/veritut.html - Verilog Tutorial
5. http://www.verilog.net/docs.html - большой портал, посвещенный языку программирования Verilog
6. http://www.doulos.com/knowhow/verilog_designers_guide/ - The Designer's Guide to Verilog
7. http://cad.ntu-kpi.kiev.ua/courses/Verilog_rus/overview.html - обучающий сайт по языку описания аппаратных средств ЭВМ высокого уровня Verilog
8. http://www.altera.com/support/examples/verilog/verilog.html - Verilog HDL Examples
9. http://www.stanford.edu/class/ee108b/labs/VerilogQuickRef.pdf - Quick Reference Verilog HDL (PDF)
10. http://www.doe.carleton.ca/~shams/97350/PetervrlK.pdf - Introduction to Verilog (PDF)
11. http://www.ee.ucla.edu/~herwin/ocdma/reference/vlogtut.pdf - Verilog Tutorial (PDF)
12. http://www.platan.ru/shem/pdf/verilog.pdf - Verilog - инструмент разработки цифровых электронных схем (PDF)

    Компиляторы и компиляция

13. понятие "Компилятор"
14. http://www.cs.man.ac.uk/~pjj/farrell/compmain.html - основы теории компиляции
15. http://rema.44.ru/resurs/study/compiler1/Compiler1.htm - классическая теория компиляторов
16. http://books.dore.ru/bs/f6sid108.html - книги по теории компиляторов
17. http://kit.kulichki.net/library/books.htm - множество электронных книг по теории компиляторов
18. http://www.omegav.ntnu.no/~karlto/avr/ccomp.html - Compiler overview
19. http://www.oberon.ethz.ch/WirthPubl/CBEAll.pdf - Compiler Construction (PDF)
20. http://www.wl.unn.ru/~ragozin/compiler/compil/g11.htm - генерация кода
21. http://www.citforum.ru/programming/theory/serebryakov/ - Основы конструирования компиляторов
22. http://www.avhohlov.narod.ru/p1650ru.htm - пример простого компилятора
23. http://www.avhohlov.narod.ru/index.htm - информационный портал по созданию компиляторов

    Генерация промежуточного кода

24. http://www.cs.nyu.edu/courses/spring02/G22.3130-001/codegen1.pdf - Code Generation. Common Statement's Generation (PDF)
25. http://en.wikipedia.org/wiki/Code_generation - Code Generation wikipedia
26. http://203.208.166.84/dtanvirahmed/cse309N/CSE309-8%20(8.1-8.2).PPT - Intermediate Code Generation (PPT)
27. http://www.cs.wright.edu/~tkprasad/courses/cs781/L26IC.pdf - Intermediate Code Generation. Local Code Optimization (PDF)
28. http://www.cs.ccu.edu.tw/~naiwei/cs4005/cs40055.pps - Intermediate Code Generation (PPS)
29. http://flint.cs.yale.edu/cs421/lectureNotes/c09.pdf - Intermediate Code Generation (PDF)
30. http://www.inf.unibz.it/~artale/Compiler/slide9.pdf - Intermediate Code Generation. Lecture (PDF)
31. http://www.well.com/~cwf/pro/Fraser%20and%20Wendt.%20Automatic%20generator%20of%20fast%20optimizing%20code%20generators.pdf - Automatic Generation of Fast Optimizing Code Generators (PDF)
32. http://www.cs.fsu.edu/~engelen/courses/COP5621/Ch8a.pdf - Intermediate Code Generation (PDF)
33. http://www.cs.fsu.edu/~engelen/courses/COP5621/ - Compiler Construction
34. http://users.encs.concordia.ca/~tahar/pub/CCECE03-SYN.pdf - Syntax Code Analysis and Generation for Verilog (PDF)
35. http://osl.iiitb.ac.in/downloads/Masters%20Thesis%20-%20Pradeep%20S.pdf - Finding Frequent Substructures in a Control Flow Graph for Compiler Optimization (PDF)
36. http://osl.iiitb.ac.in/downloads/Masters%20Thesis%20-%20Chitra%20Ramachandran.pdf - Identifying Interesting Code Patterns in a Given Code Fragment for Compiler Optimization
37. http://www1.cs.columbia.edu/~tardieu/papers/lctes06.pdf - Efficient Code Generation from SHIM Models
38. http://www.ssd.sscc.ru/school/2005/files/nechaev.ppt - Общее устройство компиляторов. Использование LEX и YACC (PPT)
39. http://se.math.spbu.ru/Courses/dotNETCompilerEngineering/Lectures/09.%20Semantic%20Analysis.doc - Семантический анализ. Промежуточное представление (DOC)

    Компилятор GCC

40. http://gcc.gnu.org/ - официальный сайт компилятора GCC

    Компилятор LCC

41. http://compilers.iecc.com/crenshaw/ - Let's Build a Compiler, by Jack Crenshaw
42. http://www.cs.princeton.edu/software/lcc/ - LCC Complier
43. http://www.johnfindlay.plus.com/lcc-win32/index.html - LCC Compiler
44. http://www.thefreecountry.com/compilers/cpp.shtml - Free C/C++ Compilers and Interpreters
45. http://en.wikipedia.org/wiki/Local_C_compiler - LCC Compiler wikipedia

    Сайты производителей HDL-симуляторов

46. http://www.aldec.com/ - официальный сайт фирмы ALDEC, занимающейся разработкой симуляторов для языков описания аппаратур
47. http://www.icarus.com/ - официальный сайт фирмы ICARUS
48. http://www.mentor.com/ - официальный сайт фирмы MENTOR
49. http://www.saros.co.uk/modelsim/ - официальный сайт фирмы SAROS Technology
50. http://www.verific.com/ - официальный сайт фирмы VERIFIC