范轶平
【姓名】 范轶平
【职称】
【研究领域】 无线电电子学;计算机硬件技术;
【研究方向】 形式验证的研究
【发表文献关键词】 反例生成,模型判别器,FSM,同步时序电路,CTL,模型判别,形式验证,VHDL,有限状态机,正例,判别器,有效模型,VHDL设计,路径,符号模型,判别系统,生成算法,循环部分,状态转换图,操作符,状...
【工作单位】 清华大学
【曾工作单位】 清华大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 2 2 2 4 76
中国期刊全文数据库    共找到2篇
[1]范轶平,贝劲松,边计年,薛宏熙,洪先龙.符号模型判别系统的一种实用反例生成策略[J]计算机应用.2000,(S1)
[2]范轶平,贝劲松,边计年,薛宏熙,洪先龙.针对同步时序电路VHDL设计的有效模型判别器VERIS[J]计算机辅助设计与图形学学报.2001,(06)
更多