EP1569144A2 - System, method and program to display correspondence between behavioral and low level descriptions of an integrated circuit