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 …
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 …
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
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 …
fueled the need for high-level synthesis, ie, an automated approach to the synthesis of …
Coordinated parallelizing compiler optimizations and high-level synthesis
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 …
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
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 …
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 …
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
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 …
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
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 …
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 …
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 …
as input and outputs a structural description of generic components. This structural …