作者: Yasushi Koseko
DOI:
关键词:
摘要: A bus checking device to efficiently check the exclusiveness of buses including a checked control circuit extractor (2) which extracts portion concerned with determination signals according predetermined rules using net list (1) in connection relation designed integrated is described. The checker (3) checks output extracted by circuit, means examine bus. In (3), information on stored file (7a). can be extracting generation and portion, resulting an improvement efficiency.