Thanyapat Sakunkonchak先生
人员信息
优化列表
2000 – 2009
2008 [j3] 藤田正弘 , 藤藤贤淑 , Thanyapat Sakunkonchak先生 :
基于依赖图的硬件/软件协同设计与SAT相关公式的验证与合成。 J.满意。 布尔模型。 计算。 5 ( 1-4 ) : 57-82 ( 2008 ) 2007 【c6】 Thanyapat Sakunkonchak先生 , 小松佐治 , 藤田正弘 :
使用反例分析最小化谓词抽象的谓词数量。 ATVA公司 2007 : 553-563 2006 [注2] Thanyapat Sakunkonchak先生 , 小松佐治 , 藤田正弘 :
使用ILP解算器进行系统级设计中的同步验证。 IEICE传输。 芬丹。 电子。 公社。 计算。 科学。 89安 ( 12 ) : 3387-3396 ( 2006 ) 2005 【c5】 于柳 , Thanyapat Sakunkonchak先生 , 小松佐治 , 藤田正弘 :
定时/非定时数字-模拟组合系统设计的系统级设计语言扩展。 ACM大湖区超大规模集成电路研讨会 2005 : 130-133 【c4】 Thanyapat Sakunkonchak先生 , 小松佐治 , 藤田正弘 :
使用ILP解算器进行系统级设计的同步验证。 记忆码 2005 : 121-130 2003 [j1] Thanyapat Sakunkonchak先生 , 小松佐治 , 藤田正弘 :
使用差异决策图验证SpecC描述中的同步。 IEICE传输。 芬丹。 电子。 公社。 计算。 科学。 86安 ( 12 ) : 3192-3199 ( 2003 ) 【c3】 藤田正弘 , 小松佐治 , 齐藤浩史 , 藤藤贤淑 , Thanyapat Sakunkonchak先生 , 小岛义久 :
具有FPGA的现场可修改体系结构及其设计/验证/调试方法。 HICSS公司 2003 : 279 2002 【c2】 Thanyapat Sakunkonchak先生 , 藤田正弘 :
使用差异决策图验证基于事件的SpecC描述同步。 复地 2002 : 369 【c1】 齐藤浩史 , 小川Takaya Ogawa , Thanyapat Sakunkonchak先生 , 藤田正弘 , Takashi Nanya公司 :
面向硬件的基于C的规范的等价性检查方法。 HLDVT公司 2002 : 139-144