Products and engagement paths
What is available per documented configuration, what runs as a guided pilot, what is open RTL with a commercial license - and what is in development.
One rule first
Availability at Accemic is a property of a complete, documented target configuration - not of a product name. Every “available” below therefore means: answered per configuration, with a documented reference configuration or a bounded feasibility review.
What you can buy, evaluate or start today
| What it does | Status today | Next step | |
|---|---|---|---|
| CEDARtools.Forge | Requirements-driven generation with an acceptance decision outside the generator, on evidence measured on the real target | Guided pilot · NDA · scope defined per engagement | Scope a guided pilot |
| CEDARtools.Coverage | Structural coverage from the trace port, on the optimized executable under test - at unit, integration and system level | Product - availability answered per target configuration | Check your target |
| CEDARtools.SmartTrace | Task runtime profiling from hardware trace, feeding hybrid WCET analysis and trace-based debugging | Product - availability answered per target configuration | Check your target |
| CEDARbox | The trace processor the applications run on: live control-flow reconstruction and coverage counting in the FPGA while the target runs | Hardware platform, current revision 3.1 | Request a quote |
| CEDARtools.TraceEncoder (CTTE) | Trace-encoder IP for RISC-V® cores - open RTL with measured synthesis profiles and verification assets, published with the release on the CTTE page | Open RTL under CERN-OHL-S-2.0 · commercial Accemic license available | Evaluate CTTE · implemented standards |
| Perfetto export | Captured traces exported as .pftrace timelines | Beta | See the integration |
| CEDARtools.Stream / StreamX | The next generation of Accemic trace tools | In development - built in private, more soon | What is public today |
If you integrate rather than buy
Accemic also connects to what you already run: coverage into TESSY Hyper Coverage and Teamscale, timing into AbsInt TimeWeaver for hybrid WCET - and for tool vendors and silicon-IP teams, the partner page states the three integration boundaries and the first evaluation step.
Where the proof lives
Product claims on these pages link to their evidence: measurement records for numbers, patents for granted scope, publications for the peer-reviewed basis, and the capability matrix for what each kind of evidence requires from a configuration.