FUJIKAKE HIDEAKI

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