Results 31 to 40 of about 3,480,511 (346)
A High-Level LTL Synthesis Format: TLSF v1.1 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but additionally allows to use high-level constructs, such as sets and ...
Swen Jacobs +2 more
doaj +1 more source
Human-Centric Program Synthesis [PDF]
, 2019 Program synthesis techniques offer significant new capabilities in searching for programs that satisfy high-level specifications. While synthesis has been thoroughly explored for input/output pair specifications (programming-by-example), this paper asks:
Crichton, Will
core +2 more sources
A Real Time Simulator of a Phase Shifted Converter for High Frequency Applications
Advances in Electrical and Computer Engineering, 2020 This paper presents a switched function FPGA-based Real Time Simulator (RTS) of a synchronous Phase Shifted (PS) converter. The design methods developed contribute to improving the accuracy, the portability, to lowering the cost and the resource ...
GHERMAN, T., PETREUS, D., CIRSTEA, M. N.
doaj +1 more source
Motorcycle detection based on deep learning implemented on FPGA [PDF]
Songklanakarin Journal of Science and Technology (SJST), 2021 This paper proposes a hardware accelerator design for motorcycle detection based on deep learning. We designed the training parameters by K-means algorithm and created the motorcycle dataset from Thailand's urban scene.
Feng Peng +3 more
doaj +1 more source
Computers, 2022 Approximate computing is a promising approach to the design of area–power-performance-efficient circuits for computation error-tolerant applications such as image processing and machine learning.
Koyu Ohata +3 more
doaj +1 more source
Simulation-based high-level synthesis of Nyquist-rate data converters using MATLAB/SIMULINK [PDF]
, 2005 This paper presents a toolbox for the simulation, optimization and high-level synthesis of Nyquist-rate Analog-to-Digital (A/D) and Digital-to-Analog (D/A) Converters in MATLAB®.
Delgado Restituto, Manuel +3 more
core +1 more source
Transformations of High-Level Synthesis Codes for High-Performance Computing
, 2019 Specialized hardware architectures promise a major step in performance and energy efficiency over the traditional load/store devices currently employed in large scale computing systems.
Besta, Maciej +3 more
core +1 more source
BIST controller design with high-level synthesis
Dianzi Jishu Yingyong, 2018 MBIST(Memory Built-In Self-Test) technology has extensive application in the memory test. In view of the traditional BIST controller register transfer level description language design process is relatively complicated, special flexibility EDA tools to ...
Cai Hongyan +5 more
doaj +1 more source
Validating High-Level Synthesis [PDF]
, 2008 The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the process of generating Register Transfer Level (RTL) design from these initial high-level programs.
Sudipta Kundu +2 more
openaire +1 more source
Радіоелектронні і комп'ютерні системиThe subject of this paper is the analysis of DSP algorithm implementations based on HLS synthesis and SIMD instructions acceleration on the SoC hardware platform.
Olexander Shkil +4 more
doaj +1 more source