Title :
Hierarchical approach for hardware/software systems
Author :
Niculiu, Tudor ; Cotofana, Sorin ; Manolescu, Anton
Author_Institution :
Fac. of Electron. & Telecommun., Politehnica Univ. Bucharest, Romania
Abstract :
Competent design for hardware/software systems needs the convergence of three concurrent research directions: the study of hierarchy types, the intelligent communication between different domains, the formalization of verification/test. We aim to extend the theory of hierarchy types, in order to integrate communication properties as well as correctness and testability, to suit the behavioral specification of today´s complex system design
Keywords :
digital simulation; formal verification; hardware-software codesign; synchronisation; behavioral specification; communication properties; complex simulation; complex system design; hardware/software co-simulation; hardware/software systems; hierarchical approach; intelligent communication; synchronisation constraints; testability; verification; Collaboration; Communication system software; Electronic equipment testing; Hardware; Man machine systems; Object oriented modeling; Power system modeling; Software systems; Software testing; System testing;
Conference_Titel :
Semiconductor Conference, 2000. CAS 2000 Proceedings. International
Conference_Location :
Sinaia
Print_ISBN :
0-7803-5885-6
DOI :
10.1109/SMICND.2000.890223
