退出
我的积分:
中文文献批量获取
外文文献批量获取
张欣; 黄凯; 孟建熠; 殷燎; 严晓浪; 葛海通;
浙江大学;
超大规模集成电路设计研究所;
杭州;
310027;
分层; 随机; 激励; 微处理器; 功能; 验证; 约束;
机译:生态学中基于个人的模型的面向上下文的模型验证:一种用于验证定性,组成和定量特征的层次结构方法
机译:面向共识的可人群验证微处理器体系结构的设计
机译:面向共识的可人群验证的微处理器架构
机译:merom微处理器面向覆盖验证的实用方法
机译:基于分析的验证:一种用于确保机械程序属性的面向程序员的方法。
机译:面向模式的建模是验证和验证功能结构植物模型的一种新方法:鳄梨年增长模块的演示
机译:一种验证超标量微处理器的系统方法
机译:一种对微处理器卡中的信息进行加密的方法,生成密钥,计算涉及该证书的证书和身份验证的方法以及实现这些方法的微处理器卡。
机译:从面向行为的高级描述中创建和验证电子设计的低级描述的方法和系统,包括用于分层显示控制和数据流信息的交互式系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。