KOWATARI TOSHIAKI

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