A Web Service to Generate Program Coprocessors

The design and implementation of today´s complex embedded systems including custom hardware and software is still to a large extent based on a collaboration of heterogeneous, semi-manual and often poorly inter-connected design methods and tools. This usually results in repetitive and longer development cycles. This paper describes an intelligent web service to automatically produce non-standard and custom hardware description code, including its memory and system interfaces from abstract, executable specification (unaltered program) code, via intelligent web interface and intelligent human-web interactions. Provably-correct hardware compilations are performed on selected high-level program subroutines by employing logic programming techniques and an intelligent inference engine. The intelligent inference engine is invoked automatically within the processes of the implemented high-level synthesis compiler. The proposed methodology and implemented tools are proven applicable and successful by evaluating results from implementation of linear as well as repetitive, nested-loop - based targeted application source code programs.