位置：成果数据库 > 期刊 > 期刊详情页
基于S3C2410X的I~2C总线接口的软件仿真与验证
  • ISSN号：1000-1220
  • 期刊名称：小型微型计算机系统
  • 时间：0
  • 页码：1917-1920
  • 相关项目：基于广义符号轨迹赋值理论的模型检测
作者： 朱文涛|桑楠|杨国武|
同期刊论文项目
基于广义符号轨迹赋值理论的模型检测
期刊论文 27 会议论文 8
同项目期刊论文
可编程逻辑控制器的形式化建模与综合
多端图切割的改进参数算法
Wire congestion estimation in a bounded-bend model
Exact synthesis of three-qubit quantum circuits from non-binary quantum gates
符号轨迹赋值中对称结构的自动化探索
NAND Flash仿真模块的一种验证方法
混杂前缀选择系统的形式化分析
一类半线性时变常微分方程解的分布
超图中发现最小的3路切割
AN ANALYTICAL CONGESTION MODEL WITH BOUNDED-BEND DETOURS
基于广义符号轨迹赋值模型验证的反例的产生
Mathematical analysis of stage-based programmable logic controller
SST39VF040 NorFlash芯片的软件仿真实现
基于贝叶斯网络的PLC系统的可靠性分析
生化应用里同步布尔网络中发现吸引子的高效算法
一类SAT Benchmark的算法研究
基于局部搜索的完备SAT求解算法
New strategies for reliability analysis of Programmable Logic Controllers
基于状态迁移模型的NAND闪存的软件仿真
Markov链使用模型的测试用例生成方法研究
基于GSTE的验证在UART模块中的应用研究
电路并发性质在GSTE中的研究和实现
Performance-driven assignment and mapping for reliable networks-on-chips
Complete Boolean Satisfiability Solving Algorithms Based on Local Search
期刊信息
  • 《小型微型计算机系统》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院沈阳计算技术研究所
  • 主编：林浒
  • 地址：沈阳市浑南新区南屏东路16号
  • 邮编：110168
  • 邮箱：xwjxt@sict.ac.cn
  • 电话：024-24696120 024-24696190-8870
  • 国际标准刊号：ISSN：1000-1220
  • 国内统一刊号：ISSN：21-1106/TP
  • 邮发代号:8-108
  • 获奖情况:
  • 中国自然科学核心期刊,中国科学引文数据库来源期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,荷兰文摘与引文数据库,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:23212