- 主题:有华大九天的朋友，或者做数字芯片设计的朋友不？讨论点技术问
本人微电子毕业但后来搞安全软件去了，对安全软件开发验证有点点研究，很多技术是和芯片开发验证想通的，想找个EDA或者芯片设计验证的朋友求教些问题。
--
FROM 115.34.118.*
华大九天目前没有数字IC验证工具吧？
【 在 mememe 的大作中提到: 】
: 本人微电子毕业但后来搞安全软件去了，对安全软件开发验证有点点研究，很多技术是和芯片开发验证想通的，想找个EDA或者芯片设计验证的朋友求教些问题。
--
FROM 222.128.106.*
不知道，但是如果将软件推力验证技术应用于芯片设计，应该能极大的减少后期验证压力
【 在 MichaelLiu 的大作中提到: 】
: 华大九天目前没有数字IC验证工具吧？
:
--
FROM 124.64.18.*
去联系南京那家eda公司吧，他们做验证。
【 在 mememe 的大作中提到: 】
: 不知道，但是如果将软件推力验证技术应用于芯片设计，应该能极大的减少后期验证压力
--
FROM 222.128.106.*
南京哪家？
这个不是纯验证，是构造正确的方法，在设计的时候就完成推理验证
【 在 MichaelLiu 的大作中提到: 】
: 去联系南京那家eda公司吧，他们做验证。
:
--
FROM 61.148.244.*