星载解调器代码的验证

来源 :无线电工程 | 被引量 : 0次 | 上传用户:typhoon
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
专用集成电路(ASIC)在卫星通信系统的应用使得设计开发周期变短,为了保证可靠性则需要对代码进行充分的测试验证,这将耗用较多时间。为了解决这个问题,在有限的时间内对星上代码进行快速有效的验证,介绍了一种覆盖率引导的功能验证方法。采用该方法对星上解调器代码进行了验证,详细介绍了验证过程。测试结果表明,该方法可有效加速代码验证过程,保证可靠性。
其他文献
对审计独立性的理解,一般采取的是一种二分的方法,将独立性当成一个绝对的概念。有学者则认为,审计独立性应被视为一种概率。事实上,审计独立性既不能认为是绝对的先验的概念,也不
贵刊去年第5期有一篇杨贵和同志的题为《别让英雄太寂寞》的文章,文中对影片《离开雷锋的日子》的情节设置持有异议,据说是影片主人公——“活雷锋”乔安山始终处于“碰壁被
文章从会计核算环境,会计系统内部控制.传统会计凭证形式和违法犯罪的隐蔽性四方面简要分析了会计电算化相对传统会计核算的变化情况以及如何应对这些变化。
原先读《水浒传》,总认为武大的炊饼是扁圆形,类似四川的锅魁、北方的烙饼。后来看《水浒连环画》,所画炊饼也是扁圆形。今天看电视剧《水浒传》,才知炊饼不是扁圆形,而是与
笼养商品蛋鸡分阶段饲养可节约饲料,降低成本,提高产蛋量和经济效益,但目前笼养蛋鸡饲养者未能做到分阶段饲养,其经济效益很不理想。现将笼养蛋鸡分阶段饲养技术作一介绍: 一
《红色恋人》应该说是名实相符。其实,它想正面表现的,并不是传统意义上的“革命”。革命在其中不过是背景,是一抹鲜亮的色彩。故事所要极力展现的,是革命中的人性,革命中的
台湾“卫视中文台”最近以九十万美元的高价,抢先购得国内中央台年度大戏《太平天国》的台湾播映权,预计今年九月隆重推出。
针对连续信号的采样与重构问题,利用MATLAB仿真软件平台,仿真不同条件下连续信号的采样信号时域波形和采样后信号频谱、重构信号时域波形和重构后误差波形图。通过对采样周期
摘 要:车工工艺与技能训练课是一门既具有独立性,又具有兼容性的专业课。该课程在机械专业的人才培养中处于承上启下的位置,不但能使学生根据所学知识和掌握的技能实现自我提升和终身发展,还是后继专业课程(比如数控,机电一体化,机械制造等专业)学习的基础。加强理论知识教学、切实提高学生动手能力、树立一定的专业意识,是车工工艺与技能训练这门课程教学的重要任务。运用理实一体化教学模式是完成这项任务很好的方法。 
日本东京大学木材研究所和松下电工综合技术研究所试制成功一种不怕白蚁和不怕火的木材.这种木材是将3厘米厚的果树板.用钙铝之类的阳离子液与磷酸硅硫的阳