Exploitation of scattered context grammars to model VLIW instruction constraints
- Resource Type
- Conference
- Authors
- Kroustek, J.; Zidek, S.; Kolar, D.; Meduna, A.
- Source
- 2010 12th Biennial Baltic Electronics Conference Electronics Conference (BEC), 2010 12th Biennial Baltic. :165-168 Oct, 2010
- Subject
- Components, Circuits, Devices and Systems
Engineered Materials, Dielectrics and Plasmas
Fields, Waves and Electromagnetics
VLIW
Grammar
Context
Computer architecture
Program processors
Registers
Context modeling
- Language
- ISSN
- 1736-3705
2382-820X
More and more nowadays data processing System-on-Chip (SoC) devices exploit the very long instruction word (VLIW) technology. The high performance of VLIW processors is achieved by a high instruction level parallelism. Program execution is scheduled statically at compilation time. Therefore, there is no need for run-time control mechanisms and hardware can be relatively simple. On the other hand, all constraints checks must be done by the compiler. This paper describes formal method for modeling instruction level limitations of these processors. This method is based on scattered context grammars that generate proper assembler code. This concept has two advantages - formal description of the dependency checking process and high reduction of description complexity over other methods.