altera fpga verilog 设计的基于查找表的DCT程序及zigzag扫描程序，已经过matlab 和modelsim 验证，文件中包含TESTBENCH ，直接可用
标签： verilog altera zigzag fpga
上传时间： 2016-10-08
上传用户：362279997
验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。 本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
上传时间： 2016-10-30
上传用户：tedo811
阐述了网络控制系统的控制器设计理论及设计方法，并进行了数值仿真验证了所提出的方法的可靠性。
上传时间： 2013-12-21
上传用户：Yukiseop
基于线性矩阵不等式理论对网络控制系统的控制器设计及方法进行了详细阐述，并进行了仿真试验，验证了所提出的方法的有效性。
上传时间： 2013-12-04
上传用户：watch100
本文主要描述了如何利用汇编语言编写一个能够实现网络之间信息传递的聊天程序系统.并介绍了无连接协议的SOCKET编程模型,以及阐述了聊天程序的设计目的前景和具体规划,还有聊天程序的商业运作.本论文共分为五部分. 第一部分简单的分析了即时聊天系统开发的可行性，并重点对技术可行性（选择VB）做了详细分析； 第二部分借助数据流图和数据字典对系统的功能和性能进行了详细的需求分析，建立了系统的逻辑结构； 第三部分利用VB程序设计了UDP聊天程序； 第四部分验证了设计的程序； 第五部分是此次设计的结论总结及部分参考文献和附录。
上传时间： 2014-11-15
上传用户：miaochun888
程序设计思路 在动态规划中，可将一个问题的解决方案视为一系列决策的结果，要考察每个最优决策序列中是否包含一个最优子序列。所以在最短路径问题中，假如在的第一次决策时到达了某个节点v，那么不管v 是怎样确定的，此后选择从v 到d 的路径时，都必须采用最优策略。利用最优序列由最优子序列构成的结论，可得到f 的递归式。f ( 1 ,c) 是初始时背包问题的最优解。可使用（1）中所示公式通过递归或迭代来求解f ( 1 ,c)。从f (n, * )开始迭式， f (n, * )由第一个式子得出，然后由第二式递归计算f (i,*) ( i=n- 1，n- 2，⋯ ， 2 )，最后得出f ( 1 ,c)。动态规划方法采用最优原则（ principle of optimality）来建立用于计算最优解的递归式。所谓最优原则即不管前面的策略如何，此后的决策必须是基于当前状态（由上一次决策产生）的最优决策。由于对于有些问题的某些递归式来说并不一定能保证最优原则，因此在求解问题时有必要对它进行验证。若不能保持最优原则，则不可应用动态规划方法。
上传时间： 2016-12-03
上传用户：kristycreasy
与其他流水灯设计不一样，该程序用case语句实现流水灯功能，并已通过验证。
标签： 流水灯
上传时间： 2016-12-04
上传用户：alan-ee
介绍了步进电动机的发展史,及国内的现状和步进电动机未来的应用前景。并且阐述了步进电动机转速、角度、转矩的控制原理。本文阐述了一种步进电机控制器的设计方案，并绘制了原理图和PCB板图，撰写了程序源代码。实现了对步进电动机转速、角度的控制，并完成了实物的制作。这期间主要使用protel99se软件绘制原理图和制板，使用proteus7.1软件进行程序代码的仿真和功能的理论验证。最后通过硬件的调试验证程序代码的实际功能，完成对控制器的设计。
上传时间： 2016-12-12
上传用户：daoxiang126
1.任选一个C语言词法子集设计DFA模型 2.要求对C语言词法规则设计编码，最后编写成源程序并能输出正确的结果。 3.给出2个测试实例，一个正确的和一个错误的来验证本词法分析程序。 4.用文件输出单词属性表（名字为班号最后2位+学号.txt）
上传时间： 2016-12-16
上传用户：亚亚娟娟123
本课程设计介绍了一个基于Client/Server模式的商品销售管理系统的设计与实现。运用Visual Basic.Net结合Microsoft SQL Server 2000开发的登录模块主要用于验证用户身份，以及根据用户类型授予相应权限进行有效的操作。从主界面模块在验证后进入每个子模块进行各个子系统的具体功能操作。在整个系统设计中充分利用了模块化的设计思想和开发方法。
标签： Server Microsoft Client Visual
上传时间： 2013-12-10
上传用户：talenthn
