切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于DVB-S网络的数据接收芯片IPOD的验证
基于DVB-S网络的数据接收芯片IPOD的验证
来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:long_drago
【摘 要】
:
文章针对DVB-S网络卫星数据接收芯片IPOD的设计。详细描述了IPOD(IP Over DVB)片的验证平台的建立和验证策略的实现。通过C仿真模型来创建仿真激励和期望响应。采用了可重用的
【作 者】
:
罗飞
徐宁仪
俞伟
周祖成
【机 构】
:
清华大学电子工程系
【出 处】
:
微电子学与计算机
【发表日期】
:
2006年2期
【关键词】
:
IPOD
验证
可重用
灰盒
断言
IPOD
Verification
Reuse
Grey-box
Assertion
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文章针对DVB-S网络卫星数据接收芯片IPOD的设计。详细描述了IPOD(IP Over DVB)片的验证平台的建立和验证策略的实现。通过C仿真模型来创建仿真激励和期望响应。采用了可重用的验证结.构和灰盒的验证方法。实践表明,这种验证平台结构和验证策略,极大地提高了验证的效率和可靠性。
其他文献
基于Bose—Lin码的组合电路容错设计
应用Bose-Lin码实现了特定功能的组合电路容错设计,并采取在输入输出端加入缓存的方法,当电路出现故障时可以使系统恢复正常工作。为了方便电路的扩展,还进一步优化了输入输出端
期刊
全自检(TSC)
t个单向错误检测(t—UED)
偶发性单向错误检测(BUED)
双轨检测器
totally self-checking
t-unidirec
浅谈安装工程材料设备定价审批方法流程
工程造价管理中,设备材料的询价定价工作至关重要。在工程造价管理的各个阶段,设备材料价格审批和确定有不同的方法和不同的流程,如何有效和准确地进行定价审批工作,避免定价
期刊
安装工程
材料设备询价
材料设备批价
造价信息
批价风险
一种支持公平交易的网格计算经济模型
针对网格计算中的资源管理,提出了一种具有公平交易属性的计算经济模型。通过价格监管、公平调度、信誉度和运行监测等方法对日用品市场模型进行控制和约束,从而使得网格资源的
期刊
公平交易模型
信誉度
价格监管
运行监测
公平调度
FGRACE
Credit metering
Price advisor
Running inspec
相遇在加勒比海
夜色降临,我们的船靠着那船尾微弱的灯光缓缓地在黑暗的海面上前进,海水看上去不再是蔚蓝色。在英吉利开曼群岛附近一块比较平坦的地方,我们的船停了下来。我们的潜水师约翰
期刊
加勒比海
海面
相遇
海水
潜水
甲壳动物
鱼类
灯光
约翰
动作
汽车后翼子板拐角连接件成形工艺优化
在越来越多对连接技术的研究中机械变形技术成为热门。而在机械变形连接技术里,冲压连接是最受关注和应用最为广泛的。基于此,本文以汽车后翼子板拐角连接件成形工艺的优化作
期刊
连接件
性能检测
仿真模拟
关于广义自缩序列的最小周期
伪随机性是密钥序列的不可预测性的重要度量指标。通过选择适当的比特串并分析其个数的奇偶性,证明了广义自缩序列b(ak-1)和b(ak+1)的最小周期达到最大,即2^(n-1)。类似地,讨论若干类广
期刊
序列密码
M-序列
广义自缩序列
最小周期
stream cipher
m-sequence
generalized self-shrinking sequ
AES硬件实现的能量分析攻击仿真
首先针对高级加密标准(AES)算法的硬件实现,给出了攻击时刻的汉明能耗模型;然后在行为级进行了基于寄存器数据变化的PA攻击;进一步通过对门级电路的功耗仿真,实现了能耗曲线数据的P
期刊
AES
汉明能耗模型
汉明权重
能耗分析(PA)
相关系数
AES
hamming power model
hamming-weight
power an
饲料的安全隐患与消除措施
随着生活水平的不断提高,动物源性食品的安全问题成为人们日益关注的焦点,而若想生产出安全的动物源性食品,所用饲料首先必须是安全的。所谓饲料安全,通常是指饲料产品中不含有对
期刊
饲料安全
安全隐患
消除措施
动物源性食品
饲料产品
有害物质
产品生产
人体健康
基于统计模型和KL距离的纹理图像检索
为了进一步提高纹理图像的检索性能,提出了一种基于统计模型离的纹理特征提取算法。根据小波分解的特点,从小波系数角度出发,以每个子带的小波系数系数直方图分布特性作为纹理特
期刊
小波
一般高斯模型
混合高斯模型
纹理
wavelet
generalized guassian density model
mixture guassia
嵌入式软构件模型JECM的技术研究及实现
将软构件技术应用到嵌入式软件的开发中去,可以提高嵌入式开发的效率。利用JAvA语言的优势.构建了嵌入式软构件模型叫ECM。介绍了JECM构件模型,阐述了JECM模型的实现技术,并结合
期刊
JECM
反射
嵌套有限状态机
状态设计模式
JECM
reflection
nested finite state machine
state desi
与本文相关的学术论文