Methodology for hardware/software co-verification in C/C++ (short paper)

  title={Methodology for hardware/software co-verification in C/C++ (short paper)},
  author={Luc S{\'e}m{\'e}ria and Abhijit Ghosh},
  booktitle={ASP-DAC '00},
In this paper we present our C/C++-based design environment for hardware/software co-verification. Our approach is to use C/C++ to describe both hardware and software throughout the design flow. Our methodology supports the efficient mapping of C/ C++ functional descriptions directly into hardware and software. The advantages of a C/C++-based flow from the verification point of view are presented. The use of C/C++ to model all parts of the system provides great flexibility and enables faster… CONTINUE READING