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
财政年份:
--
资助国家:
德国
项目状态:
未结题
起止时间:
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
海外基金