Results 41 to 50 of about 4,810,089 (329)

Advanced Datapath Synthesis using Graph Isomorphism

, 2017
This paper presents an advanced DAG-based algorithm for datapath synthesis that targets area minimization using logic-level resource sharing. The problem of identifying common specification logic is formulated using unweighted graph isomorphism problem ...
Choudhury, Mihir, Ciesielski, Maciej, Sullivan, Andrew, Yu, Cunxi   +3 more
core   +1 more source

Fast and Reconfigurable Logic Synthesis in Memristor Crossbar Array

Advanced Intelligent Systems, 2022
Memristor is a potential basic unit for the in‐memory computing system, which is an approach to break the memory wall of the traditional computer. However, low switching speed, nonuniform device characteristics, and inefficient logic synthesis hinder the
Wei Wang, Sen Liu, Qingjiang Li, Tuo Shi, Feng Zhang, Haijun Liu, Nan Li, Yongzhou Wang, Yi Sun, Bing Song, Hui Xu, Qi Liu   +11 more
doaj   +1 more source

Propositional Dynamic Logic for Message-Passing Systems [PDF]

, 2010
We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an event.
B. Bollig and D. Kuske, B. Bollig and M. Leucker, B. Genest, D. Kuske, and A. Muscholl, B. Meenakshi and R. Ramanujam, Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke, J. G. Henriksen and P. S. Thiagarajan, M.J. Fischer and R.E. Ladner, P. Gastin and D. Kuske, P. Gastin and D. Kuske, Pierre Wolper, V. Diekert and P. Gastin, Y. Choueka   +13 more
core   +4 more sources

G4LTL-ST: Automatic Generation of PLC Programs

, 2014
G4LTL-ST automatically synthesizes control code for industrial Programmable Logic Controls (PLC) from timed behavioral specifications of input-output signals.
Cheng, Chih-Hong, Huang, Chung-Hao, Ruess, Harald, Stattelmann, Stefan   +3 more
core   +1 more source

LDPC minimum sum decoding algorithm and its IC physical design

Journal of Measurement Science and Instrumentation, 2023
In order to promote the localization of the chip and solve the problem of low decoding efficiency of low density parity check (LDPC) code, taking an LDPC code based on the Consultative Committee for Space Data Systems (CCSDS) standard (8 176, 7 154 ...
SUN Jingang, LI Jinming
doaj  

The (Glg)ABCs of cyanobacteria: modelling of glycogen synthesis and functional divergence of glycogen synthases in Synechocystis sp. PCC 6803

FEBS Letters, EarlyView.
We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee, Dimitrios Bekiari, Sofia Doello, Karl Forchhammer   +3 more
wiley   +1 more source

CNFET-OCL: Open-Source Cell Libraries for Advanced CNFET Technologies

IEEE Access
In this paper, we propose CNFET-OCL, the first open-source cell libraries for 5-nm and 7-nm carbon nanotube field-effect transistor (CNFET) technologies.
Chenlin Shi, Shinobu Miwa, Tongxin Yang, Ryota Shioya, Hayato Yamaki, Hiroki Honda   +5 more
doaj   +1 more source

Creating Music With Fuzzy Logic

Frontiers in Artificial Intelligence, 2020
Fuzzy logic is an artificial intelligence technique that has applications in many areas, due to its importance in handling uncertain inputs. Despite the great recent success of other branches of AI, such as deep neural networks, fuzzy logic is still a ...
Rodrigo F. Cádiz, Rodrigo F. Cádiz
doaj   +1 more source

Scalable Generic Logic Synthesis: One Approach to Rule Them All

Design Automation Conference, 2019
This paper proposes a novel methodology for multi-level logic synthesis that is independent from a specific graph data-structure, but formulates synthesis procedures using an abstract concept definition of a logic representation.
Heinz Riener, Eleonora Testa, Winston Haaswijk, A. Mishchenko, L. Amarù, G. Micheli, Mathias Soeken   +6 more
semanticscholar   +1 more source

Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis [PDF]

, 2017
Temporal logic based synthesis approaches are often used to find trajectories that are correct-by-construction for tasks in systems with complex behavior. Some examples of such tasks include synchronization for multi-agent hybrid systems, reactive motion
Dathathri, Sumanth, Murray, Richard M.
core   +2 more sources