PISH -- Integrated Software and Hardware Design | Concluded in 1997

The main goal of this project is to develop a CAD system that supports the design of complex digital systems composed of software and hardware components.

The aforementioned goal is going to be achieved by the development of five subprojects: (1) software and hardware partitioning; (2) formal verification; (3) software and hardware synthesis; (4) prototype generation; and (5) implementation generation. A single and common example is going to be used by all subprojects.
Gustavo Carvalho
Gustavo Carvalho
Lecturer @ CIn-UFPE (BR)

My research interests include formal specification/verification, and tools development.