OHKUMA ATSUSHI

Method for co-verifying hardware and software for a semiconductor device