SPEAK: Specification based hardware/software design methodology for highly complex applications in automotive and communication