Unlocking Analog Features and Full Parallelism for HDL-based Synthesis of PLiM
Unlocking Analog Features and Full Parallelism for HDL-based Synthesis of PLiM
批准号:
406079023
负责人:
Professor Dr. Rolf Drechsler
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
--
资助国家:
德国
项目状态:
未结题
起止时间:
中文摘要
由先进的非易失性存储器技术实现的存储器内计算是当前计算系统中的冯·诺依曼瓶颈的已知问题的有希望的范例。然而,逻辑设计的内存计算能力还没有得到充分的探索。该提案包括六个工作包,这些工作包有助于基于电阻式RAM(RRAM)标准交叉的存储器中逻辑计算机架构的设计自动化的进步和全面性。该研究计划旨在通过创建新的并行能力,基于RRAM固有的模拟计算能力和近似计算开发新功能,来提高电阻式存储器逻辑计算机架构的性能。此外,我们的目标是将这些新元素添加到在项目初始阶段开发的逻辑内存硬件描述语言(LiM-HDL)中。
英文摘要
In-memory computing enabled by advanced non-volatile memory technologies is a promising paradigm for the known issue of von Neumann bottleneck in current computing systems. However, the capacity of in-memory computing for logic design has not been fully explored. This proposal includes six work packages that contribute to the advancement and comprehensiveness of design automation for logic-in-memory computer architectures based on standard crossbars of Resistive RAM (RRAM). This research plan aims at enhancing the performance of resistive logic-in-memory computer architectures by creating new capacity for parallelism, developing new features based on the inherent analog computation capability of RRAM and approximate computing. Furthermore, we aim at adding these new elements to the Logic-in-Memory Hardware Description Language (LiM-HDL), which has been developed in the initial phase of the project.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
MANIAC: BDD Manipulation for Approximate Computing
-
批准号:283653053
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2015
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf
-
批准号:188461301
-
项目类别:Reinhart Koselleck Projects
-
资助金额:$0.0万
-
财政年份:2011
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
Qualitätsorientierte Synthese großer Funktionen in reversibler Logik
-
批准号:147703507
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
Formaler Robustheitsnachweis im computergestützten Schaltkreisentwurf
-
批准号:61273444
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern
-
批准号:15765440
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
Formale Verifikation von Schaltkreisen unter Verwendung von Informationen der Hochsprachenebene
-
批准号:5369462
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
OptiSecure – Securing Nano-Circuits against Optical Probing
-
批准号:439918011
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
VerA: Fully Automatic Formal Verification of Arithmetic Circuits
-
批准号:436285168
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
PolyVer: Polynomial Verification of Electronic Circuits
-
批准号:431649366
-
项目类别:Reinhart Koselleck Projects
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
EMBOSOM - Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms
-
批准号:535695900
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Rolf Drechsler
-
依托单位:
海外基金