AI 原生验证

从工具智能到 AI 原生验证：徐强教授出任芯华章首席科学家
近日，系统级验证 EDA 企业芯华章宣布，香港中文大学计算机科学与工程系教授徐强正式加盟，出任公司首席科学家。