基于Handel-C的软硬件协同验证方法
기우Handel-C적연경건협동험증방법
A method of hardware and software co-verification based on Handel-C