Displaying 4 results from an estimated 4 matches for "vivado".
Did you mean:
visudo
2020 Feb 22
2
The AnghaBench collection of compilable programs
...hi Automizer
(https://ultimate.informatik.uni-freiburg.de/downloads/BuchiAutomizer/).
This is a tool that tries to prove termination or infinite execution
for some programs.
* We can check how many programs can be compiled by different
high-level synthesis tools into FPGAs. We have tried LegUp and Vivado,
for instance.
* Our webpage contains a search box, so that you can get the closest
programs to a given input program. Currently, we measure program
distance as the Euclidian distance on Namolaru feature vectors.
We do not currently provide inputs for those programs. It's possible
to execute...
2020 Feb 22
3
The AnghaBench collection of compilable programs
...iburg.de/downloads/BuchiAutomizer/).
> > This is a tool that tries to prove termination or infinite execution
> > for some programs.
> >
> > * We can check how many programs can be compiled by different
> > high-level synthesis tools into FPGAs. We have tried LegUp and Vivado,
> > for instance.
> >
> > * Our webpage contains a search box, so that you can get the closest
> > programs to a given input program. Currently, we measure program
> > distance as the Euclidian distance on Namolaru feature vectors.
> >
> > We do not curren...
2020 Apr 06
2
Adding a new External Suite to test-suite
...have also used these benchmarks in two studies:
1) http://cuda.dcc.ufmg.br/angha/chordAnalysis
2) http://cuda.dcc.ufmg.br/angha/staticProperties
A few other applications that I know about (outside our research
group), include:
* Comparing the size of code produced by three HLS tools: Intel HLS,
Vivado and LegUp.
* Testing the Ultimate Buchi Automizer, to see which kind of C
constructs it handles
* Comparing compilation time of gcc vs clang
A few other studies that I would like to carry out:
* Checking the runtime of different C parsers that we have.
* Trying to infer, empirically, the complexi...
2020 Jul 04
9
Proposal for CIRCT incubator project
For the past several months, members of the ‘CIRCT’ group have been working
to begin adapting MLIR for hardware design. We believe that this area
would benefit from good open source infrastructure enabling research and,
eventually, the next generation of commercial tools. We have collected
several dialects and envision a number of lowering flows using these
dialects. We have reached the point