Formally Embedding Existing High Level Synthesis Algorithms

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-60385-9_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Comparative Study of Sorting Algorithms With FPGA Acceleration by High Level Synthesis

Computacion y Sistemas
Computer Science
2019English

High-Level Synthesis: A Practical Perspective

Advances in Robotics & Automation
2013English

TAO: Techniques for Algorithm-Level Obfuscation During High-Level Synthesis

2018English

High-Level Synthesis of Recoverable VLSI Microarchitectures

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
HardwareElectronic EngineeringElectricalArchitectureSoftware
1999English

High-Level Synthesis Under Fixed-Point Accuracy Constraint

Journal of Electrical and Computer Engineering
Electronic EngineeringSignal ProcessingElectricalComputer Science
2012English

On Construction of a Library of Formally Verified Low-Level Arithmetic Functions

2012English

High-Level Synthesis of Functional Patterns With Lift

2019English

Integrating Variable-Latency Components Into High-Level Synthesis

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
2000English

Optimality and Scalability Study of Existing Placement Algorithms

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy