权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Automatic correction of hardware systems based on stream processing

基于流处理的硬件系统自动校正

基本信息

批准号：
24650019
负责人：
FUJITA Masahiro
金额：
$ 2.5万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2012
资助国家：
日本
起止时间：
2012-04-01 至 2014-03-31
项目状态：
已结题

项目摘要

In big data analysis, such as analyzing data on images, web manipulations, and sensor networks, same operations are repeated on each data item. Such big data are arranged as very long flows of data, called data stream, so that operations on different data items can be processed in parallel as highly pipelined operations. We have developed a new methodology where such data steams are processed by multiple retrievals of relatively small tables. As all tables are retrieved in parallel, we can expect huge parallelisms. It is also called memory-based computing in contrast to processor-based processing which is widely used today. We have developed a set of techniques by which the processing system can be automatically corrected even if some of the tables are disorder by adjusting other tables appropriately.

在大数据分析中，例如分析图像、Web操作和传感器网络上的数据，对每个数据项重复相同的操作。这种大数据被安排为非常长的数据流，称为数据流，因此对不同数据项的操作可以作为高度流水线操作并行处理。我们已经开发出一种新的方法，这种数据流处理的相对较小的表的多次检索。由于所有表都是并行检索的，因此我们可以预期会有巨大的并行性。它也被称为基于内存的计算，与今天广泛使用的基于处理器的处理相反。我们开发了一套技术，通过这些技术，即使某些表是无序的，也可以通过适当地调整其他表来自动校正处理系统。

项目成果

期刊论文数量（21）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

アサーション自動生成とそのシミュレーションによる完全検証

自动断言生成并通过仿真完成验证

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
藤田昌宏;城怜史;松本剛史
通讯作者：
松本剛史

Automatic Assertion Extraction in Gate-Level Simulation Using GPGPUs

使用 GPGPU 进行门级仿真中的自动断言提取

DOI：
发表时间：
2012
期刊：
影响因子：
0
作者：
S. Ono;T. Matsumoto;and M. Fujita
通讯作者：
and M. Fujita

SAT-based automatic rectification and debugging of combinational circuits with LUT insertions

基于SAT的带LUT插入的组合电路自动校正与调试

DOI：
发表时间：
2014
期刊：
IPSJ Transactions on System LSI Design Methodology
影响因子：
0
作者：
S. Jo;T. Matsumoto;and M. Fujita
通讯作者：
and M. Fujita

RTL datapath optimization using system-level transformations

使用系统级转换进行 RTL 数据路径优化

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
S. Ghandali;B. Alizadeh;M. Fujita;Z. Navabi
通讯作者：
Z. Navabi

High Performance and Flexible Computing Systems with Electronic Design Automation

具有电子设计自动化的高性能和灵活的计算系统

DOI：
发表时间：
2013
期刊：
影响因子：
0
作者：
Masayuki Sato;Yusuke Tobo;Ryusuke Egawa;Hiroyuki Takizawa;Hiroaki Kobayashi;東方雄亮，佐藤雅之，江川隆輔，滝沢寛之，小林広明;K. Sugihara;M. Fujita
通讯作者：
M. Fujita