Integrating formal, soft and diagrammatic approaches in high-level synthesis and hardware-software co-design.
András Orbán, Zoltán Ádám Mann · 2001
In this paper, preliminary results and research directions in high-level synthesis and hardware-software codesign are presented. The main methods are demonstrated on two case studies. The first one shows the usage of formal and soft methods (application of graph theory, constraint logic programming and a genetic algorithm) on the scheduling problem of high-level synthesis. The second case study demonstrates the application of formal verification techniques, such as model checking and propositional provers. Both case studies show methods that are usually employed in hardware design only, but their usage in software design would also be possible. At the end of the paper, a hardware-software co-design framework is suggested that integrates all these approaches with the designer-friendly diagrammatic techniques of software design.