托马斯·格林
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2010 – 2019
2019 【b1】 托马斯·格林 :
一种混合方法,用于验证系统级的时间属性。 德国波鸿鲁尔大学, 2019 2018 【c5】 托马斯·格林 , Djones Lettnin公司 , 迈克尔·胡布纳 :
ARCHVerifyr:一种嵌入式软件驱动的架构(Architecture)验证方法。 超大规模集成电路 2018 : 220-225 [i1] 托马斯·格林 , 琼斯-莱特宁 , 迈克尔·Hübner :
硬件半形式验证的一种可扩展方法。 CoRR公司 abs/1801.08446 ( 2018 ) 2017 【c4】 托马斯·格林 , 琼斯-莱特宁 , 迈克尔·Hübner :
软件控制连接的半形式验证。 超大规模集成电路 2017 : 556-561 2016 【c3】 托马斯·格林 , 琼斯-莱特宁 , 迈克尔·Hübner :
根据SystemC TLM和IP-XACT描述自动生成RTL连接检查器。 NORCAS公司 2016 : 1-6 2015 【c2】 托马斯·格里姆 , Benedikt Janßen公司 , 奥斯瓦尔多·纳瓦罗 , 迈克尔·Hübner :
FPGA作为支持网络物理系统的可重构硬件的价值。 ETFA公司 2015 : 1-8 2014 【c1】 托马斯·格林 , 爱德华多·A·贝泽拉 , 达尼洛·席尔瓦 :
Reed-Solomon解码的两个关键方程求解器的硬件实现。 拉丁科姆 2014 : 1-6
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)