合见主要是数字验证部分，现在实现部分，我知道的，鸿芯微纳的综合工具基本可用，华大收购了一个做形式化验证的，formal也应该快了，但像icc,pt还没听说过有国产替代的
【 在 laughingfish 的大作中提到: 】
: 合见工软是数字的
--
FROM 27.115.61.*