标签: 效验

PLC技术在工业控制领域应用广泛，分享一些有关实用的三菱PLC参考程序，希望能够帮助到有需要的网友。

基于VERILOG的一种高效验证平台的研究及应用２００６年第２３卷第１期微电子学与计算机５５基于Ｖｅｒｉｌｏｇ的一种高效验证平台的研究及应用董玲１张松１于宗光１，２陶建中１，２（１江南大学，江苏无锡２１４１２２）（２中国电子科技集团公司第５８研究所，江苏无锡２１４０３６）摘组成、关键设计技术及优化几个方面的问题，并在此基础上用要：文章讨论了基于Ｖｅｒｉｌｏｇ验证平台的功能、ＶｅｒｉｌｏｇＨＤＬ建立了高效的自检查验证平台，实现了被测模型的输出与期望输出的自动比较。关键词：验证平台，自检查，ＶｅｒｉｌｏｇＨＤＬ，结构优化中图法分类号：ＴＮ４０７文献标识码：Ａ文章编号：１０００－７１８０（２００６）０１－０５５－０５ＲｅｓｅａｒｃｈａｎｄＡｐｐｌｉｃａｔｉｏｎｏｆａｎＥｆｆｉｃｉｅｎｔＴｅｓｔｂｅｎｃｈＢａｓｅｄｏｎＶｅｒｉｌｏｇＤＯＮＧＬｉｎｇ１，ＺＨＡＮＧＳｏｎｇ１，ＹＵＺｏｎｇ－ｇｕａｎｇ１，２，ＴＡＯＪｉａｎ－ｚｈｏｎｇ１，２（１ＳｏｕｔｈｅｒｎＹａｎｇｚｔｅＵｎｉｖｅｒｓｉｔｙ，Ｗｕｘｉ２１４１２２Ｃｈｉｎａ）（２Ｔｈｅ５８ｔｈＲｅｓｅａｒｃｈＩｎｓｔｉｔｕｔｅｏｆＣｈｉｎａＥｌｅｃｔｒｏｎｉｃｓＴｅｃｈｎｏｌｏｇｙＧｒｏｕｐＣｏｒｐｏｒａｔｉｏｎ，Ｗｕｘｉ２１４０３６Ｃｈｉｎａ）Ａｂｓｔｒａｃｔ：：Ｆｕｎｃｔｉｏｎｓ，ｃｏｎｓｔｒｕｃｔｓ，ｃｒｉｔｉｃａｌｄｅｓｉｇｎｔｅｃｈｎｉｑｕｅｓａｎｄｏｐｔｉｍｉｚａｔｉｏｎｓｏｆｔｈｅＶｅｒｉｌｏｇ－ｂａｓｅｄｔｅｓｔｂｅｎｃｈｗｅｒｅｉｎｔｒｏ－ｄ……