RTL Synthesis: From Logic Synthesis to Automatic Pipelining [PDF]
Proceedings of the IEEE, 2015 Peer ...
Cortadella, Jordi +3 more
openaire +3 more sources
The Logic of Time: from Aristotle to Computer Science [PDF]
, 2017 Charla tipo conferencia-seminario dada para alumnos de un másterThis short course will explore that continuous thread which connects the discussion about time in philosophy with the modern use of temporal logic in computer science. It will go through the
Bresolin, Davide
core
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis
, 2013 We describe ongoing work on a framework for automatic composition synthesis from a repository of software components. This work is based on combinatory logic with intersection types.
Düdder, Boris +4 more
core +2 more sources
Multi‐Functional ZnO–Te Heterojunction Devices Enabling Compact Frequency Quadrupler
Advanced Functional Materials, EarlyView.Wafer‐scale ZnO–Te heterojunction devices featuring tunable double negative differential transconductance (D‐NDT) are demonstrated at ≤ 200°C. Leveraging this unique characteristic, a single‐stage frequency quadrupler is realized, achieving a 64%–75% reduction in device count.
Jae Hyeon Jun +8 more
wiley +1 more source
A Technology Mapping of FSMs Based on a Graph of Excitations and Outputs
IEEE Access, 2019 A logic synthesis for finite-state machines (FSMs) aimed at programmable array logic (PAL)-based complex programmable logic devices is proposed here. This approach consists of the simultaneous synthesis of a transition function and an output function ...
Marcin Kubica +2 more
doaj +1 more source
Unlocking Photodetection Mode Switching from a Simple Lateral Design
Advanced Functional Materials, EarlyView.A simple lateral 2D perovskite photodetector capable of switching among transient, continuous, and dual transient/continuous photoresponse modes is achieved by integrating photoconductive effects with capacitive coupling from the SiO2/Si substrate. Such light‐programmable photodetection mode switching enables triple‐channel information transmission and
Zijun (June) Yong +10 more
wiley +1 more source
Middle-Out Reasoning for Logic Program Synthesis [PDF]
, 1993 We propose a novel approach to automating the synthesis of logic programs: Logic programs are synthesized as a by-product of the planning of a verification proof.
Basin, D., Bundy, Alan, Kraan, I.
core +3 more sources
Laser‐Assisted Processing and Modification of Bioactive Glasses: A Review
Advanced Healthcare Materials, EarlyView.Laser technologies provide powerful tools to process and transform bioactive glasses for advanced biomedical applications. This review discusses laser‐matter interaction mechanisms, laser surface engineering, and laser‐assisted fabrication of scaffolds and nanofibers.
Antonio Riveiro +8 more
wiley +1 more source
Complete synthesis of identity templates for quantum and reversible logic MCT circuits using SAT-solvers and proposal of suboptimality witness notion [PDF]
International Journal of Electronics and TelecommunicationsIn this study, we introduce a procedural generation technique for Identity Templates applicable to quantum and reversible logic circuits. These templates are recognized for their significant role in enhancing the efficiency of quantum and reversible ...
Adam Jagielski
doaj +1 more source
Temporal Stream Logic: Synthesis beyond the Bools
International Conference on Computer Aided Verification, 2017 Reactive systems that operate in environments with complex data, such as mobile apps or embedded controllers with many sensors, are difficult to synthesize.
B. Finkbeiner +3 more
semanticscholar +1 more source