Formal models for system design (challenges on exchanges in the main role between hardware and software going to the systems packaging)

This paper envisages main trends in systems design. Observation over and comparison between paradigms in software and hardware design is presented. Finally the paper focuses on three of most popular and important hardware design languages VHDL, SDL and SystemC. A special stress is done on how do they work outside hardware design and how they do package software and hardware in one device.