| IEC 61508-3:2010 Functional safety of electrical/electronic/programmable electronic safety-related systems –Part 3: Software requirements |
Annex F NOTE 1 This informative annex is referenced by 7.4.6.7. NOTE 2 The following techniques and measures are related to digital ASICs and user programmable ICs only. For mixed-mode and analogue ASICs no general techniques and measures can be given at the moment. a) All design activities and test arrangements, and tools used for the functional simulation and the results of the simulation, should be documented. b) All tools, libraries and manufacturing procedures should be proven in use. This includes: NOTE 3 A substantial period of time might be 2 years in this case. NOTE 4 User training is very important because of the rapid changes and progress in this field. c) All activities and their results should be verified, for example by simulation, equivalence checks, timing analysis or checking the technology constraints. d) Measures for the reproducibility and automation of the design implementation process (script based, automated work and design implementation flow) should be used. e) For 3rd party soft-cores and hard-cores, only validated macro blocks should be used and these should comply with all constraints and proceedings defined by the macro core provider if practicable. Unless already proven in use, each macro block should be treated as newly written code, for example it should be fully validated. f) For the design, a problem-oriented and abstract high-level design methodology and design description language should be used. NOTE 5 The design description should use a hardware description language like VHDL or Verilog. This is the most common hardware description methodology used today in ASIC design. Both languages are defined by IEEE standards and are assumed to satisfy the recommendations for high level programming languages. The hardware g) Adequate testability (for manufacturing test of the full and semi-custom ASIC) should be achieved. h) Gate and interconnection (wire) delays should be considered during test and ASIC i) Internal gates with tristate outputs should be avoided. If internal tristate outputs are used these outputs should be equipped with pull-ups/downs or bus-holders. j) Before manufacturing, an adequate verification of the complete ASIC (i.e., including each verification step carried out during design and implementation to ensure correct module and chip functionality) should be carried out. NOTE 6 The adequacy of ASIC verification depends on the test complexity of the element and the required safety integrity level. F.2 Guidelines: Techniques and measures – HR*: the technique or measure is highly recommended for this safety integrity level. No design should exclude this technique or measure; – HR: the technique or measure is highly recommended for this safety integrity level. If this technique or measure is not used, then the rationale behind not using it should be detailed; – R: the technique or measure is recommended for this safety integrity level. If this – -: the technique or measure has no recommendation for or against being used; If this technique or measure is used, then the rationale behind using it should be detailed;
|