An introduction to high-level synthesis

P Coussy, DD Gajski, M Meredith… - IEEE Design & Test of …, 2009 - ieeexplore.ieee.org
An Introduction to High-Level Synthesis Page 1 An Introduction to High-Level Synthesis
Philippe Coussy Université de Bretagne-Sud, Lab-STICC Daniel D. Gajski University of …

Recent developments in high-level synthesis

YL Lin - ACM Transactions on Design Automation of Electronic …, 1997 - dl.acm.org
We survey recent developments in high level synthesis technology for VLSI design. The
need for higher-level design automation tools are discussed first. We then describe some …

[图书][B] SPARK: a parallelizing approach to the high-level synthesis of digital circuits

S Gupta, R Gupta, ND Dutt, A Nicolau - 2007 - books.google.com
Rapid advances in microelectronic integration and the advent of Systems-on-Chip have
fueled the need for high-level synthesis, ie, an automated approach to the synthesis of …

Coordinated parallelizing compiler optimizations and high-level synthesis

S Gupta, RK Gupta, ND Dutt, A Nicolau - ACM Transactions on Design …, 2004 - dl.acm.org
We present a high-level synthesis methodology that applies a coordinated set of coarse-
grain and fine-grain parallelizing transformations. The transformations are applied both …

[PDF][PDF] K-LEAK: Towards Automating the Generation of Multi-Step Infoleak Exploits against the Linux Kernel

Z Liang, X Zou, C Song, Z Qian - 31st Annual Network and Distributed …, 2024 - cs.ucr.edu
The severity of information leak (infoleak for short) in OS kernels cannot be underestimated,
and various exploitation techniques have been proposed to achieve infoleak in OS kernels …

Automated transformation of algorithms into register-transfer level implementations

Z Peng, K Kuchcinski - … on Computer-Aided Design of Integrated …, 1994 - ieeexplore.ieee.org
This paper describes a high-level synthesis system, called CAMAD, for transforming
algorithms into hardware implementation structures at register-transfer level. The algorithms …

Using global code motions to improve the quality of results for high-level synthesis

S Gupta, N Savoiu, N Dutt, R Gupta… - IEEE Transactions on …, 2004 - ieeexplore.ieee.org
The quality of synthesis results for most high-level synthesis approaches is strongly affected
by the choice of control flow (through conditions and loops) in the input description. This …

Call graph and model checking for fine-grained android malicious behaviour detection

G Iadarola, F Martinelli, F Mercaldo, A Santone - Applied Sciences, 2020 - mdpi.com
The increasing diffusion of mobile devices, widely used for critical tasks such as the
transmission of sensitive and private information, corresponds to an increasing need for …

A measurement of the QCD colour factors and a limit on the light gluino

Aleph Collaboration - Zeitschrift für Physik C Particles and Fields, 1997 - Springer
Using data collected from 1992 to 1995 with the ALEPH detector at LEP, a measurement of
the colour factor ratios CA/CF and TF/CF and the strong coupling constant α s= CF α s …

Synthesis from VHDL

JS Lis, DD Gajski - … 1988 IEEE International Conference on Computer …, 1988 - computer.org
Abstract The VHDL Synthesis System (VSS) uses VHDL dataflow or behavioral descriptions
as input and outputs a structural description of generic components. This structural …