ビットレベル低水準命令列のBDDに基づく検証技法に関する考察
ビットレベル低水準命令列のBDDに基づく検証技法に関する考察
复制标题
基于BDD的位级低级指令序列验证技术的思考
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
八杉昌宏
中科院分区：
文献类型：
--
作者：
伊藤祥司;杉原正顯;姫野龍太郎;K.Matsumoto;八杉昌宏
