Learn More
SUMMARY The development of microsystems imposes hierarchical CAD procedures to manage their complexity. In this paper we attempt to handle microsystem intelligent interfaces by unifying representations for design and verification, as well as for different domains: electrical/non-electrical, analog/digital, hardware/software. Extending the functionality of(More)
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(More)
  • 1