计算器系统与 IC 设计验证研讨会