G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 17/50 (2006.01) G06F 9/455 (2006.01)
Patent
CA 2367972
A method and system for co-verifying a hardware simulation of a field- programmable-system-level integrated circuit (FPSLIC) and a software simulation of the field-programmable-system level integrated circuit. An FPSLIC is simulated (42) in hardware, and a simulator-port layout (47) of the FPSLIC device is generated. In software, the method separately simulates, with an instruction-set simulator (54), the FPSLIC device and outputs register contents (61) from the instruction-set software. The contents from the simulator-port layout (47) are verified with the register contents (61). Additionally, the method may further include outputting peripheral contents (62) from the instruction-set simulator (54), and verifying contents (50) from the simulator-port layout (47) with the peripheral contents (62). UART contents (63) also may be outputted form the instruction-set simulator (54), and verified with contents from the simulator-port layout (47) with the UART contents (63).
La présente invention concerne un procédé et un système permettant de vérifier conjointement un circuit intégré de niveau système programmable par l'utilisateur (FPSLIC) et une simulation logicielle dudit circuit intégré de niveau système programmable par l'utilisateur. Un FPSLIC est simulé (42) dans un matériel et un plan de port de simulateur (47) du dispositif à FPSLIC est généré. Au niveau logiciel, le procédé consiste à simuler ledit dispositif à FPSLIC, de façon séparée, avec un simulateur de jeu d'instructions (54), et à extraire le contenu de registre (61) du logiciel de jeu d'instructions. Le contenu issu du plan de port de simulateur (47) est vérifié avec le contenu de registre (61). De plus, le procédé peut également consister à extraire le contenu de périphérique (62) du simulateur de jeu d'instructions (54), puis à vérifier le contenu (50) issu du plan de port de simulateur (47) avec le contenu de périphérique (62). Le contenu issu du circuit universel asynchrone d'émission et de réception (63) peut également être extrait du simulateur de jeu d'instructions (54), puis être vérifié avec le contenu issu du plan de port de simulateur (47).
Dasari Ajithkumar Venkata
Mason Martin Thomas
Mcconnell David Andrew
Atmel Corporation
Sim & Mcburney
LandOfFree
Software tool to allow field programmable system level devices does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Software tool to allow field programmable system level devices, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Software tool to allow field programmable system level devices will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1898709