Tomohiro Yoneda公司
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元55年] 山田裕二 , 内斯琳·贝尔贾布 , Tomohiro Yoneda公司 , Kenji Kise公司 :
带有RISC-V软处理器的远程部分可重构SoC,面向低端FPGA。 MCSoC公司 2023 : 31-37 2020 [公元54年] Tomohiro Yoneda公司 , Masashi Imai先生 :
异步可重构设备的粗粒度与细粒度体系结构。 ASYNC公司 2020 : 102-110
2010 – 2019
2019 [公元53年] 稻叶和太郎 , Yoneda智宏 , 菅本俊一(Toshiki Kanamoto) , 黑川松司(Atsushi Kurokawa) , Masashi Imai先生 :
异步电路中的硬件特洛伊木马插入和检测。 ASYNC公司 2019 : 134-143 [i2] Tomohiro Yoneda公司 , 彼得·A·比埃尔 , 亚历克斯·雅科夫列夫 , Masashi Imai先生 :
异步电路设计及其应用:过去、现在和未来(NII Shonan会议133)。 NII Shonan会面。 代表。 2019 ( 2019 ) 2018 [公元27年] 小泽直哉 , Masashi Imai先生 , Tomohiro Yoneda公司 , 高弘韩愈 :
基于MTJ的异步电路,用于针对电源故障进行无需重新初始化的计算。 微电子。 J。 82 : 46-61 ( 2018 ) [c52] Masashi Imai先生 , 赤坂信一郎 , Tomohiro Yoneda公司 :
用于基于两相握手协议的捆绑数据传输电路的新型延迟元件。 ASYNC公司 2018 : 1-8 2017 [公元26年] 齐藤浩史 , Masashi Imai先生 , Tomohiro Yoneda公司 :
基于任务调度的DTTR多核系统冗余任务分配方法。 IEICE传输。 芬达姆。 电子。 Commun公司。 计算。 科学。 100-A型 ( 7 ) : 1363-1373年 ( 2017 ) [第51条] 小泽直哉 , Masashi Imai先生 , 高弘韩愈 , Tomohiro Yoneda公司 :
基于MTJ的异步电路,用于针对电源故障进行无需重新初始化的计算。 ASYNC公司 2017 : 118-125 [c50] 海蓬 , 宣图Tran , Yoneda智宏 :
使用VNOC2.0模拟器对基于模糊逻辑的低功耗片上网络进行功耗估计。 ICICDT公司 2017 : 1-4 2016 [公元25年] Zhen Zhang先生 , 温德林·塞维 , 吴健 , Tomohiro Yoneda公司 , 郝正 , 克里斯·迈尔斯 :
通过形式化分析,提出了一种改进的片上网络容错路由算法。 科学。 计算。 程序。 118 : 24-39 ( 2016 ) [公元49年] 齐藤浩史 , Masashi Imai先生 , Yoneda智宏 :
一种基于故障模式任务调度的DTTR方案任务分配方法。 ISCAS公司 2016 : 237-240 [公元48年] 萨拉特·尤瓦塔纳 , Tomohiro Yoneda公司 :
针对行程长度和DC平衡的线路编码开销的改进。 MCSoC公司 2016 : 15-22 [公元47年] 齐藤浩史 , Masashi Imai先生 , Tomohiro Yoneda公司 :
基于任务并行性的DTTR方案任务分配方法。 MCSoC公司 2016 : 169-176 [公元46年] Masashi Imai先生 , 蒂姆·凡·楚(Thiem Van Chu) , Kenji Kise公司 , Tomohiro Yoneda公司 :
同步与异步NoC路由器:同步和转换信令异步设计之间的应用程序对应用程序的比较。 NOCS公司 2016 : 1-8 2015 [j24] Masashi Imai先生 , Tomohiro Yoneda公司 :
多路异步仲裁器的一种新的实现方法。 IEICE传输。 芬达姆。 电子。 Commun公司。 计算。 科学。 98-A型 ( 7 ) : 1519-1528 ( 2015 ) [公元45年] Tomohiro Yoneda公司 , Masashi Imai先生 , 齐藤浩史 , Kenji Kise公司 :
多核平台可靠的实时任务执行方案。 DFTS公司 2015 : 197-204 [公元44年] Tomohiro Yoneda公司 , Masashi Imai先生 :
异步电路中低功耗芯片间串行通信的一种新编码机制。 ICCD公司 2015 : 395-398 2014 [公元23年] 大泽直也 , Akira Mochizuki先生 , Hirokatsu Shirahama白浜 , Masashi Imai先生 , Tomohiro Yoneda公司 , 高弘韩愈 :
异步多芯片NoC的高吞吐量部分并行芯片间链路体系结构。 IEICE传输。 信息系统。 97天 ( 6 ) : 1546-1556 ( 2014 ) [公元43年] Tomohiro Yoneda公司 , Masashi Imai先生 , 齐藤浩史 , 高弘韩愈 , Kenji Kise公司 , 中村由一 :
基于NoC的安全关键型汽车应用评估平台。 APCCAS公司 2014 : 679-682 [公元42年] Masashi Imai先生 , Tomohiro Yoneda公司 :
用于基于QDI模型的异步电路的能量和性能高效的差分多米诺逻辑单元库。 APCCAS公司 2014 : 第687-690页 [公元41年] Zhen Zhang先生 , 温德林·塞维 , 吴健 , Tomohiro Yoneda公司 , 郝正 , 克里斯·迈尔斯 :
片上网络容错路由算法的形式化分析。 飞行管理信息系统 2014 : 48-62 [公元40年] Masashi Imai先生 , Tomohiro Yoneda公司 :
用于两相握手异步电路的多时钟多边缘触发的多位触发器。 ISCAS公司 2014 : 141-144 2013 [公元22年] 今井正史 , Tomohiro Yoneda公司 :
基于片上网络的私有内存受限多处理器系统的故障诊断与重构方法。 IEICE传输。 信息系统。 96天 ( 9 ) : 1914-1925 ( 2013 ) [i1] Tomohiro Yoneda公司 , 何塞·弗利奇·卡多 , 姜旭 , Michihiro Koibuchi先生 :
多核和On-chip互连(NII Shonan会议2013-8)。 NII Shonan会议。 代表。 2013 ( 2013 ) 2012 [公元39年] Tomohiro Yoneda公司 , Masashi Imai先生 :
汽车应用的多芯片NoC平台中的可靠路由。 DFT(干膜厚度) 2012 : 第217页至第224页 [公元38年] 齐藤浩史 , Tomohiro Yoneda公司 , 中村由一 :
一种基于ILP的片上网络容错多任务分配方法。 MCSoC公司 2012 : 100-106 [公元37年] Yoneda智宏 , Masashi Imai先生 , 小泽直哉 , 松本厚司 , 高弘韩愈 :
汽车应用的多芯片NoC。 公共工程设计委员会 2012 : 105-110 [公元36年] Masashi Imai先生 , Tomohiro Yoneda公司 :
实时应用中的On-chip网络性能建模与分析。 PRDC公司 2012 : 111-120 2011 [公元21年] 斯科特·利特尔 , 大卫·瓦尔特 , 克里斯·迈尔斯 , 罗伯特·A·萨克 , 萨蒂什·巴库 , Tomohiro Yoneda公司 :
使用标记混合Petri网验证模拟/混合信号电路。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 30 ( 4 ) : 617-630 ( 2011 ) [公元35年] Masashi Imai先生 , Tomohiro Yoneda公司 :
提高完全异步On-chip网络的可靠性和性能。 ASYNC公司 2011 : 65-76 [c34] Masashi Imai先生 , Tomohiro Yoneda公司 :
具有受限私有内存的基于NoC的多处理器系统的重复执行方法。 DFT(干膜厚度) 2011 : 463-471 [公元33年] 王黛涵(Daihan Wang) , Michihiro Koibuchi先生 , Tomohiro Yoneda公司 , Hiroki Matsutani公司 , 天野之弥 :
芯片上网络的动态链路宽度优化。 RTCSA(2) 2011 : 106-108 [电子2] 利昂·阿尔卡莱 , 蔡提摩西(Timothy Tsai) , Tomohiro Yoneda公司 :
第17届IEEE环太平洋可靠计算国际研讨会,2011年PRDC,美国加利福尼亚州帕萨迪纳,2011年12月12-14日。 IEEE计算机学会 2011 ,国际标准图书编号 978-1-4577-2005-5 [目录] 2010 [公元20年] 查米卡·曼纳卡拉 , Tomohiro Yoneda公司 :
基于早期确认协议的异步流水线控制器。 IEICE传输。 信息系统。 93天 ( 8 ) : 2145-2161 ( 2010 ) [公元19年] Kedar S.Namjoshi公司 , Tomohiro Yoneda公司 :
前言。 发现的国际期刊。 计算。 科学。 21 ( 2 ) ( 2010 ) [公元18年] 郝正 , 海琼瑶 , Tomohiro Yoneda公司 :
高效抽象细化大型异步设计的模块化模型检查。 IEEE传输。 计算机 59 ( 4 ) : 561-573 ( 2010 ) [公元32年] 齐藤浩史 , 滨田直弘 , Tomohiro Yoneda公司 , Takashi Nanya公司 :
在FPGA上实现捆绑数据的异步电路平面布置方法。 ISCAS公司 2010 : 925-928
2000 – 2009
2009 [公元17年] 滨田直弘 , 志贺由纪 , 科尼西高雄 , 齐藤浩史 , Tomohiro Yoneda公司 , 克里斯·迈尔斯 , Takashi Nanya公司 :
异步电路的行为综合系统,具有捆绑数据实现。 IPSJ事务。 系统。 LSI设计。 Methodol公司。 2 : 64-79 ( 2009 ) [公元31年] Masashi Imai先生 , Yoneda智宏 , Takashi Nanya公司 :
N路环和方形仲裁器。 ICCD公司 2009 : 125-130 [公元30年] 郝正 , 海琼瑶 , Tomohiro Yoneda公司 :
异步设计模块化验证中基于同步的抽象精化。 超大规模集成电路 2009 : 175-180 2008 [公元16年] 弗雷德里克·贝亚尔(Frédéric Béal) , Tomohiro Yoneda公司 , 克里斯·迈尔斯 :
重新检查定时异步电路的危险。 芬达姆。 信息学 88 ( 4 ) : 411-435 ( 2008 ) [公元15年] 弗雷德里克·贝亚尔(Frédéric Béal) , Tomohiro Yoneda公司 , 克里斯·迈尔斯 :
安全故障检查的保守框架。 IEICE传输。 信息系统。 91天 ( 三 ) : 642-654 ( 2008 ) [公元14年] 大卫·瓦尔特 , 斯科特·利特尔 , 克里斯·迈尔斯 , 尼古拉斯·西格米勒 , Tomohiro Yoneda公司 :
使用符号方法验证模拟/混合信号电路。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 27 ( 12 ) : 2223-2235 ( 2008 ) [公元29年] 滨田直弘 , 志贺由纪 , 齐藤浩史 , Tomohiro Yoneda公司 , 克里斯·迈尔斯 , Takashi Nanya公司 :
异步电路的一种行为综合方法,具有捆绑数据实现(工具文件)。 ACSD公司 2008 : 50-55 [公元28年] 查米卡·曼纳卡拉 , Tomohiro Yoneda公司 :
基于早期确认协议的异步流水线控制器。 ACSD系统 2008 : 118-127 2007 [j13] 齐藤浩史 , 滨田直弘 , 纳塔·金达佩奇 , Tomohiro Yoneda公司 , 克里斯·迈尔斯 , Takashi Nanya公司 :
基于启动时间近似的具有捆绑数据实现的异步电路调度方法。 IEICE传输。 芬达姆。 电子。 Commun公司。 计算。 科学。 90安 ( 12 ) : 2790-2799 ( 2007 ) [j12] 柯蒂斯·纳尔逊 , 克里斯·J·迈尔斯 , Tomohiro Yoneda公司 :
门级定时异步电路中危险自由度的有效验证。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 26 ( 三 ) : 592-605 ( 2007 ) [公元11年] Tomohiro Yoneda公司 , 克里斯·迈尔斯 :
基于分解的时序电路综合。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 26 ( 7 ) : 1177-1195 ( 2007 ) [公元27年] 弗雷德里克·贝亚尔(Frédéric Béal) , Tomohiro Yoneda公司 , 克里斯·迈尔斯 :
重新检查定时异步电路的危险。 ACSD系统 2007 : 51岁至60岁 [公元26年] 大卫·瓦尔特 , 斯科特·利特尔 , 尼古拉斯·西格米勒 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
模拟/混合信号电路的符号模型检查。 ASP-DAC公司 2007 : 316-323 [e1] Kedar S.Namjoshi公司 , Tomohiro Yoneda公司 , 东野太郎 , 冈村义雄 :
验证和分析自动化技术,第五届国际研讨会,2007年10月22日至25日,日本东京,ATVA 2007,会议记录。 计算机科学课堂讲稿 4762, 施普林格 2007 ,国际标准图书编号 978-3-540-75595-1 [目录] 2006 [公元10年] 郝正 , 克里斯·迈尔斯 , 大卫·瓦尔特 , 斯科特·利特尔 , Tomohiro Yoneda公司 :
用故障定向抽象验证定时电路。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 25 ( 三 ) : 403-412 ( 2006 ) [公元25年] 齐藤浩史 , 纳塔·金达佩奇 , Tomohiro Yoneda公司 , 克里斯·迈尔斯 , Takashi Nanya公司 :
捆绑数据实现中基于ILP的异步电路调度。 企业所得税 2006 : 172 [公元24年] Tomohiro Yoneda公司 , 克里斯·迈尔斯 :
基于分解的定时电路综合中定时STG的有效收缩。 ATVA公司 2006 : 229-244 【c23】 斯科特·利特尔 , 尼古拉斯·西格米勒 , 大卫·瓦尔特 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
使用标记混合petri网验证模拟/混合信号电路。 国际民航组织 2006 : 275至282 2005 [公元9年] Denduang Pradubsuwun公司 , Tomohiro Yoneda公司 , 克里斯·迈尔斯 :
检测定时电路安全和定时故障的部分降阶。 IEICE传输。 信息系统。 88天 ( 7 ) : 1646-1661 ( 2005 ) [j8] 北井俊彦 , Tomohiro Yoneda公司 , 克里斯·迈尔斯 :
用于自动时序约束推导的定时电路故障轨迹分析。 IEICE传输。 信息系统。 88天 ( 11 ) : 2555-2564 ( 2005 ) [公元22年] Tomohiro Yoneda公司 , 松本厚司 , Manabu加藤 , 克里斯·迈尔斯 :
定时异步电路的高级综合。 ASYNC公司 2005 : 178-189 2004 【c21】 Tomohiro Yoneda公司 , 翁田博美 , 克里斯·迈尔斯 :
基于分解的速度无关电路综合。 ASYNC公司 2004 : 135-145 [公元20年] Denduang Pradubsuwun公司 , Tomohiro Yoneda公司 , 克里斯·迈尔斯 :
检测定时电路安全和定时故障的部分降阶。 ATVA公司 2004 : 339-353 [第19条] 斯科特·利特尔 , 大卫·瓦尔特 , 尼古拉斯·西格米勒 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
用时间混合Petri网验证模拟和混合信号电路。 ATVA公司 2004 : 426-440 2003 [第18条] 柯蒂斯·纳尔逊 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
门级定时异步电路中危险自由度的有效验证。 国际计算机辅助设计协会 2003 : 424-432 [第17条] 郝正 , 克里斯·迈尔斯 , 大卫·瓦尔特 , 斯科特·利特尔 , Tomohiro Yoneda公司 :
用故障导向抽象验证定时电路。 ICCD公司 2003 : 28-35 2002 [j7] Tomohiro Yoneda公司 , 埃里克·默瑟 , 克里斯·迈尔斯 :
用部分降阶法进行定时电路的模块化综合。 IEICE传输。 芬达姆。 电子。 Commun公司。 计算。 科学。 85-A型 ( 12 ) : 2684-2692 ( 2002 ) [第16条] Tomohiro Yoneda公司 , 北井智也 , 克里斯·迈尔斯 :
通过故障分析自动推导时间约束。 腔静脉 2002 : 195-208 [第15条] 北井俊彦 , Yusuke Oguro先生 , Tomohiro Yoneda公司 , 埃里克·默瑟 , 克里斯·迈尔斯 :
面向层次的异步电路验证形式化模型及其有效分析方法。 PRDC公司 2002 : 210-220 [第14条] 埃里克·默瑟 , 克里斯·迈尔斯 , Tomohiro Yoneda公司 :
使用部分降阶的定时电路的模块化综合。 时间系统理论与实践 2002 : 180-201 2001 [j6] Koichi Masukura公司 , Minoru Tomisaka公司 , Tomohiro Yoneda公司 :
基于零抑制BDD的异步电路验证。 系统。 计算。 日本。 32 ( 2 ) : 43-54 ( 2001 ) [j5] Hiroshi Toshima先生 , Tomohiro Yoneda公司 :
利用对称性和抽象性进行有效验证。 系统。 计算。 日本。 32 ( 14 ) : 41-53 ( 2001 ) [第13条] 滨州 , Tomohiro Yoneda公司 , 伯恩德·霍尔格·施林格洛夫 :
定时非同步电路的一致性和镜像。 ASP-DAC公司 2001 : 341-346 [第12条] 滨州 , Tomohiro Yoneda公司 , 克里斯·迈尔斯 :
重新审视时间轨迹理论验证框架。 亚洲测试研讨会 2001 : 437-442 [第11条] 北井俊彦 , Tomohiro Yoneda公司 :
车轮结构参数化电路验证中的部分降阶。 PRDC公司 2001 : 173-182 2000 [第10条] Yoneda智宏 :
VINAS-P:一种用于时序异步电路跟踪理论验证的工具。 腔静脉 2000 : 572-575
1990 – 1999
1999 【c9】 Tomohiro Yoneda公司 , Hiroshi Ryu先生 :
使用部分降阶的时间跟踪理论验证。 ASYNC公司 1999 : 108个- 【c8】 马特·萨雷雷拉 , Tomohiro Yoneda公司 :
布尔函数的自时间实现。 ASYNC公司 1999 : 243- 【c7】 Tomohiro Yoneda公司 :
TITAC2抽象指令缓存的验证:案例研究。 超大规模集成电路 1999 : 373-384 1998 【c6】 Yoneda智宏 , 大冢由田 , 马特·萨雷雷拉 :
参数化异步电路的验证:案例研究。 ACSD公司 1998 : 64-74 【c5】 Tomohiro Yoneda公司 , 滨州 , 伯恩德·霍尔格·施林格洛夫 :
带时间轨迹的有界延迟异步电路的验证。 阿马斯特 1998 : 59-73 1997 【j4】 Tomohiro Yoneda公司 , 伯恩德·霍尔格·施林格洛夫 :
并行实时系统的有效验证。 形式化方法系统。 设计。 11 ( 2 ) : 187-215 ( 1997 ) [j3] Tomohiro Yoneda公司 , 下山雅素(Atsufumi Shibayama) , Takashi Nanya公司 :
使用进程代数验证异步逻辑电路设计。 系统。 计算。 日本。 28 ( 8-9 ) : 33-43 ( 1997 ) 1996 【c4】 Tomohiro Yoneda公司 , 吉川隆 :
使用偏序对异步电路进行迹理论验证。 ASYNC公司 1996 : 152-163 【c3】 Tomohiro Yoneda公司 , Hideyuki Hatori先生 , 高原厚司 , Shin-ichi Minato公司 :
BDD与零抑制BDD:用于Petri网的CTL符号模型检查。 FMCAD公司 1996 : 435-449 1993 【c2】 Tomohiro Yoneda公司 , 下山雅素(Atsufumi Shibayama) , 伯恩德·霍尔格·施林格洛夫 , 埃德蒙·克拉克 :
并行实时系统的有效验证。 腔静脉 1993 : 321-346 1991 [注2] Tomohiro Yoneda公司 , 吉弘·托玛 , Yutaka Kondo公司 :
基于时间petri网的时序验证方法的加速。 系统。 计算。 日本。 22 ( 12 ) : 37-52 ( 1991 )
1980 – 1989
1989 【c1】 Yoneda智宏 , Kazutoshi Nakade公司 , 吉弘·托玛 :
一种基于单元独立性的快速时序验证方法。 FTCS(飞行时间控制系统) 1989 : 134-141 1985 [j1] Tomohiro Yoneda公司 , 铃木隆(Takashi Suzuoka) , 吉弘·托玛 :
松散同步TMR系统中的中断处理。 系统。 计算。 日本。 16 ( 5 ) : 50-59 ( 1985 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)