SMS versenden: Co-synthesis of hardware and software for digital embedded systems / by Rajesh Kumar Gupta ; [foreword by Giovanni De Micheli].