| 摘要 |
PROBLEM TO BE SOLVED: To provide a logic verification device verifying a logic in accordance with memories of various specifications, without omitting a corner case. SOLUTION: The logic verification device 100 is configured to verify a logic of a memory controller 106 which converts a first command issued by a CPU into a second command, and supplies it to a memory 107. The logic verification device 10 is provided with: a memory specification information storage means 103 for storing specification information of the memory 107; an expected value generation means 108 for generating an expected value of the second command converted from the first command according to address association information in the specification information; a command issuing means 101 for issuing the first command to the memory controller 106; and a monitoring means 104 for monitoring the second command converted from the first command by the memory controller 106, and for comparing it with the expected value. COPYRIGHT: (C)2011,JPO&INPIT
|
