Looking for a way to convert constraints into a C/C++ for compilation on ARM #74
Replies: 3 comments
-
This has been done a few ways, though there aren't any completely-general solutions that I'm aware of. It's not uncommon to use a constrained-random generation like SystemVerilog or PyVSC to pre-generate software (assembly, C/C++) that is then compiled and run on the processor core. One example, here, is the RISCV-DV tool that generates RISC-V assembly-level test programs. You could use a similar approach to generate C code as well. Depending on how fast your execution platform is (simulation, FPGA, etc), you might need to pre-generate a suite of test programs to fill an overnight run. IBM Research has done some work at creating long-running test programs that do randomization within the generated test itself. The tradeoff appears to be that the targeted type of tests are very domain-specific, not general constraints. |
Beta Was this translation helpful? Give feedback.
-
Thanks!
…On Tue, May 11, 2021 at 4:01 AM Matthew Ballance ***@***.***> wrote:
This has been a few ways, though there aren't any completely-general
solutions that I'm aware of. It's not uncommon to use a constrained-random
generation like SystemVerilog or PyVSC to pre-generate software (assembly,
C/C++) that is then compiled and run on the processor core. One example,
here, is the RISCV-DV <https://github.com/google/riscv-dv> tool that
generates RISC-V assembly-level test programs. You could use a similar
approach to generate C code as well. Depending on how fast your execution
platform is (simulation, FPGA, etc), you might need to pre-generate a suite
of test programs to fill an overnight run.
IBM Research
<https://researcher.watson.ibm.com/researcher/view_group_pubs.php?grp=1347>
has done some work at creating long-running test programs that do
randomization within the generated test itself. The tradeoff appears to be
that the targeted type of tests are very domain-specific, not general
constraints.
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#74 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AT4MD2674T3ZTRJ6REAY4HTTNB6YNANCNFSM44QQMI5A>
.
|
Beta Was this translation helpful? Give feedback.
-
At my work, we generate C/C++ test parameters from using python on our host and then run the compiled C/C++ on the embedded processor. Useful python libraries are:
|
Beta Was this translation helpful? Give feedback.
-
Hi,
Has anybody looked into it? My test suite runs on ARM, without real operating system.
So I would like to compile constrained randomization code into C/C++, then compile it into my test suite, for overnight executions. Anybody tried something of the sort?
Again, no operating system, no multi-threading, no ability to run python, just C/C++.
Thanks,
Andrey
Beta Was this translation helpful? Give feedback.
All reactions