Kazuhiro Matsuzaki

PLA simulation method

Distributed processing management apparatus, distributed processing management method and distributed processing management program

Method of simulating operation of logical unit, and computer-readable recording medium retaining program for simulating operation of logical unit

Method and apparatus for verifying logical equivalency between logic circuits

Arithmetic program conversion apparatus, arithmetic program conversion program and arithmetic program conversion method

INFORMATION PROCESSING APPARATUS AND BACK ANNOTATION METHOD

CIRCUIT COMPONENT MIGRATION APPARATUS, CIRCUIT COMPONENT MIGRATION PROGRAM, AND CIRCUIT COMPONENT MIGRATION METHOD

Prevention of library information leakage

Circuit component migration method and apparatus

LOGICAL DESCRIPTION DIFFERENCE EXTRACTING METHOD, LOGICAL DESIGN AIDING APPARATUS, AND NON-TRANSITORY COMPUTER-READABLE STORAGE MEDIUM THEREOF