Dimensional analysis for HD languages
| Thesis title in Czech: | Dimenzionálna Analýza pre HDL jazyky |
|---|---|
| Thesis title in English: | Dimensional analysis for HD languages |
| Academic year of topic announcement: | 2006/2007 |
| Thesis type: | diploma thesis |
| Thesis language: | angličtina |
| Department: | Department of Software Engineering (32-KSI) |
| Supervisor: | RNDr. David Bednárek, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 14.11.2006 |
| Date of assignment: | 14.11.2006 |
| Date and time of defence: | 18.09.2007 00:00 |
| Date of electronic submission: | 18.09.2007 |
| Date of proceeded defence: | 18.09.2007 |
| Opponents: | doc. Ing. Václav Jirovský, CSc. |
| Guidelines |
| The topic of the work is the design and implementation of a system for dimensional analysis of hardware-description languages, based on the AIRE intermediate representation. The system shall contain a formalism to describe dimensional properties of library constants and functions. Besides displaying errors revealed by the dimensional analysis, the system shall be able to display other results of analysis in a human-readable form using traditional preferred units. |
| References |
| - Petty, G. W.. "Automated computation and consistency checking of physical dimensions and units in scientific programs.". In: Software - Practice and Experience 31: 1067-1076, 2001
- Muchnick, Steven S., Advanced compiler design and implementation, Morgan Kaufmann Publishers, 1997, ISBN 1-55860-320-4 - IEEE Standard VHDL Analog and Mixed-Signal Extensions, IEEE Std 1076.1-1999, ISBN 0-7381-1641-6 - Willis, J.C., Peterson, G.D., Gregor, S.L., The advanced intermediate representation with extensibility/common environment (AIRE/CE), In: NAECON 1998, Dayton, USA, ISBN:0-7803-4449-9 |