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