The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
High-level synthesis, the task of automatically transforming behavioural descriptions at the algorithmic level into register transfer level structures, is conquered today almost always by use of heuristics. This prevents giving a guarantee either for the design optimality or the correctness, although these are the most essential criteria. By applying formal methods, both issues can be formally proven. This paper presents 3 aspects of HLS, that have been solved using formal methods, namely (1) the formal verification that those hardware modules allocated to realize a particular RT level operation are actually doing so with respect to functionality and timing, (2) an exact solution of the scheduling problem that is yet able to cope with more practical constraints than any heuristical procedure currently known and (3) the formally based synthesis of communication-dominated hardware, an important application area that is largely unnoticed by today's HLS systems.>
How it got here
How it got here
agent via openalex
Added
2026-10-24 10:48 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{grass1994high,
title = {High level synthesis based on formal methods},
author = {Werner Grass and Matthias Mutz and Wolf-Dieter Tiedemann},
year = {1994},
volume = {38},
pages = {83--91},
doi = {10.1109/eurmic.1994.390403},
}
This record lives at https://refs.drheap.org/grass1994high/ and will keep
doing so. It used to be called grass2002high, and those addresses still resolve to this one.