Hierarchical hardware/ software co-design

摘要

The hierarchical approach complesx hardwaresoftware systems demand for can be based on: representation - inference dichotomy, objectorientation, unifying the man-machine dialog as well as the simulation for hardware (analog and digital) and software components. The planned framework will permit: description of the system in a convenient and commonly used language (e.g., C++), at any level of abstraction; automatic partition of the description into hardware and software, at various abstraction levels; simulation and validation of the whole system during any design phase. Generally, multiple, coexistent and interdependent hierarchies structure the universe of models for complex systems, e.g., hardwaresoftware ones. They belong to different hierarchy types, defined by: design abstraction levels, block structure, class/ objects framework, symbolization degree, knowledge hierarchies. Their study and formalization result in separation of basic hierarchy types, that can be interpreted as object-oriented representation and symbolic operation. The different kinds of hierarchy correspond to mathematically structured object classes. Constructive type theory guides formal specification and proof of its correctness, generating objects that meet the specification.