EFFICIENT AUTOMATIC CODE GENERATION FOR EMBEDDED SYSTEMS

Developing a safety critical real-time application raises high challen ge: ''failure is not an option''. The code has to be readable, reliabl e and efficient. For doing so, VERILOG has developed an environment ba sed on formal approach. This is the only way to be in a position to pr ove that the code is doing what it is supposed to do, always.