白皮书

在高层次综合之前查找代码问题

为了显著加快验证速度，处理每天都会变化的复杂算法，很多公司转向采用高层次综合 (HLS) 方法。但是，高层次 C++ 模型必须是正确的，这一点极其重要。此外，C++ 语言具有歧义性，在仿真过程中很难发现。