Systém pro souběžný návrh technického a programového vybavení počítačů

Hardware/software co-design, ASIP, architecture description language, hardware description language, model equivalence.

Application specific instruction set processors (ASIPs) create a core of embedded systems. The area of hardware/software co-design deals with the design of ASIPs whereas area explores the design space for the given task based on several criteria (price, consumption, chip size, etc.). The success of the exploration phase is influenced with an existence of a proper architecture model. Software tools for programming and simulation of the ASIP together with a hardware implementation in hardware description language can be generated based on the ASIP model, which is described using architecture description language. After a creation of the hardware implementation, the question of the equivalence between the implementation and software tools has to be answered - is it possible to use software tools for a programming of the real hardware and does the simulator behave according to the hardware? In this work, we introduce a system which deals with mentioned steps of the design and which tries to provide a solution for the equivalence checking problem.