Moreover,property checking based on BWGL can verify the data path and controller simultaneously,which can save a great deal of time.
另外,基于BWGL的性质检验可以同时验证数据通路和控制器,节省了大量的时间。
参考来源 - VLSI设计中的形式验证方法研究·2,447,543篇论文数据,部分数据来源于NoteExpress
本文介绍了氯酸钙和氯酸镁合成和性质检验的方法。
This paper introduces the preparation and quality tests of calcium chlorate.
本文以M.L方法介绍了氯酸钙、氯酸钾、氯酸镁系列化合物的合成和性质检验。
This paper introduces the preparation and quality tests of calcium chlorate. magnesium chlorate . potassium chlorate by M. L method.
本文的结果说明对BPEL4WS文件的自动化性质检验和出错路径标识是可行的。
The simulation result shows that it is feasible to check the property of BPEL4WS and tag the error path automatically.
应用推荐