Adaptable rule checking tools HDL & HVL lang

Rubrik Saab Avitronics Saab Avitronics offers technology, products and services within Electronic Warfare for air, land and naval applications, as well as avionics sub-systems for fighters, helicopters, transport and commercial aircraft. Thesis work - Adaptable rule checking tools for HDL & HVL languages Background The aim of this thesis work is to strengthen Saab Avitronics' knowledge in adaptable and flexible rule checking tools for hardware description and verification languages. The primary goal is to study and identify strengths and weaknesses of adaptable rule checking tools for the hardware description language VHDL and for the hardware verification language PSL through an initial tool study. The secondary goal is to implement Saab Avitronics' VHDL rules used for safety-critical applications in a tool (selected from the initial tool study, see below) and to verify the practicability to use this tool. The thesis work should follow the subsequent phases: -Initial tool study -Specification phase -Implementation phase -Completion phase The work should be adapted to a maximum of 800 hours and 20 weeks (20p).No starting date has yet been set. Work description INITIAL TOOL STUDY An initial tool study and market analysis should be performed to gain knowledge of the state-of-the-art tools for custom rule checking for hardware description and verification languages.The most suitable tools for safety-critical code development should be evaluated and summarized in an early report.This report may as well be the introductionary part in the final thesis. SPECIFICATION PHASE In this phase a detailed specification of the master thesis work should be performed.This work includes specifying what to do and when, i.e.a time plan should be defined. IMPLEMENTATION PHASE Following the initial phase a more in-depth study of one or some of the selected tools shall be performed. The evaluation of tools shall be made considering the special needs for safety-critical applications in avionics, with emphasis on: -Reliability - Rules checking confidence and reports -General applicability - Generality of the rules that can be handled by the tool and other helpful tool features such as statistics figures -Specific applicability - Is the tool applicable for Saab Avitronics VHDL (& PSL) code checking rules for safety-critical applications Progress reports have to be written monthly. COMPLETION PHASE The final thesis should be completed in this phase. Saab Avitronics must accept the work before any presentation is carried out outside Saab Avitronics. The work should be presented at Saab Avitronics. Qualifications The thesis requires some knowledge of the hardware description language VHDL.Furthermore, experience in rule-based searching and/or in formal specification using PSL or SVA is an advantage. For more information please contact: Håkan Forsberg, Last date for application 2007-03-31 Apply for this vacancy