RTL级符号模拟系统
RTL급부호모의계통
RTL Symbolic Simulation System