Toma Consulting SASU

178 Rue Alfred Buttin

38140 RIVES

France

mail: toma.consulting.eda@gmail.com

SIRET: 907 950 588 00018

The EDA plugin for Qt Creator

Toma Consulting is the sole distributor of So-ADE Debugger, an integrated debugging engine specifically designed for EDA application.

This unique engine enable direct manipulation of EDA complex netlist structures with the debug session allowing direct access to netlist element in a human friendly manner:

• Netlist structure are decoded so that they are presented in a Verilog like pretty printing.




• Thanks to its embedded schematic viewer, it is providing even greater analysis capabilities. the schematic can be visualized directly within the debug session.

So-ADE  debugger comes with built-in configuration for:

• Verific database model
• So-ADE graphengine data model
• Toma Consulting Synthesis engine

Access to Schematic is either global or incremental for large schematic support.

So-ADE debugger  is working from any core as it does not rely on executing callback in debugged program. You are granted to debug critical core from customer.

So-ADE is a trade mark of Toma Consulting.

Schematic Engine

Toma Consulting is the sole distributor of So-ADE graphengine, a Qt/C++ schematic engine available at source code level.

So-ADE graphengine renders any Gate Level Netlist with superior visual quality:

• Automatic colorisation of nets/gate for cleaner identification.
• Topological layout.
• Bus reconstruction.
• Net's cross-connections highlighting.
• Gate clustering to reduce number of displayed nodes.
• Automatic positioning of unknown terminal type.
• Noisy nets reduction (GND/VCC connection to flop control signals)
• Highlighting of undriven nets

So-ADE graphengine is built upon Qt 5.x series. It is an highly optimized rendering engine ready for being embedded in any EDA application. It is available with:

• Full source code access.
• Extensive APIs and Algorithms documentation

So-ADE graphengine can easily be tuned to match you rendering requirement (create new nodes model, parametrized layout,...)

So-ADE graphengine is provided with a toolbox allowing to easily build new graph manipulation tools. This framework has undo/redo built-in capabilities. The tool can either work in static graph mode or entensible graph mode.

In this later mode, user can dynamic change the graph contents by browsing graph side elements.

Provided tools are:

• Search engine
• Graph annocation tool (Pin)
• Graph highlight tool
• Export tools (Verilog and svg format)

So-ADE is a trade mark of Toma Consulting.

Synthesis Engine

Toma Consulting is proud to present its new generation synthesis engine built on top of Verific Parser:

TOMA consulting FPGA synthesis tool kit is a comprehensive solution that allows FPGA vendors/integrator  to quickly develop a synthesis solution that matches their specific requirement.

The tool kit is available at source code level (C++) to secure investment.

The tool kit includes all the elements that are needed to build a modern synthesis engine for FPGA:

• Interface with Verific for the language parser. The usage of Verific parse enables highly reliable support for VHDL, Verilog, SystemVerilog and Mixed language. As the tool kit is available at source code level, it requires a separated license from Verific for the parser part.




• The tool kit is fully documented. Every single API and feature of the engine is thoroughly documented to ease adoption and development of private extra feature on top of the engine.




• The tool kit is delivered with a pre-implemented fully functional synthesis flow. The flow may be tuned to address specific needs like adding extra synthesis steps.




• The engine incorporates a built-in formal engine that can quickly verify that all transformations that are applied to the netlist during the synthesis are preserving equivalency. The Formal check can be tuned down to individual transformation during development process, enabling automated search for bug in synthesis transformation. This unique feature secures any in house private development that the FPGA vendor may build on top of the provided engine.




• The engine is delivered with an inference engine for memories. If ever, the memory engine is not suitable for specific vendor requirement, TOMA consulting will provide a dedicated Memory Inference Engine.




• Similarly, TOMA Consulting will provide support for dedicated Arithmetic block (DSP, Multiplier).




• The engine supports flat as well as hierarchical synthesis. Hierarchical synthesis runs in parallel (multiprocessing), allowing high scalability. All the details of the process distribution are automated, including crash recovery (For ex: memory exhausted due to too many processed used at once). The formal engine takes advantage of the hierarchical synthesis to further reduce proof computation time.




• It is possible to restructure the design hierarchy to try different synthesis strategies in parallel and select best choice on results.




• A ready to use Optimization Engine enables Boolean, Register and constant optimization at all stages of the synthesis.




• The mapper engine supports multiple mapping strategies (8 built-in strategies are provided). It can target area, timing, or both. The mapper support LUT size ranging from 2 to 8. Lut Packing is also supported.




• The engine typically synthesizes design of 200K LUTs is 5 to 8 minutes, depending on the mapping option.




• The tool  kit is provided with a high-performance schematic engine (So-Ade graphEngine) that uses the same underlying database. This schematic engine may be used by customers to build their own product interface. The schematic engine is built on top of Qt.




• The engine is provided with a dedicated version of QtCreator/GDB (So-ADE debugger) that speeds up development time by up to 3x. This unique debugging engine enables developers to visualize the processed netlist with the debugger. It uses TOMA consulting proprietary schematic engine. This often makes the analysis process of complex bug almost instantaneous.




• The Engine is backed-up with a comprehensive internal unit test suite of close to 3000 designs.




• So-ADE is a registered trademark of Toma Consulting. Toma Consulting  and Verific Design Automation acknowledge trademarks or registered trademarks of other organizations for their respective products and services.

Toma Consulting SASU

Toma Consulting is a privately held company created in 2021. Its mission is to serve its customers as consultant and to deliver high quality EDA software component.

Toma Consulting has bee funded by Stéphane Petithomme a 20+ years veteran in the EDA industry.

Stéphane Petithomme holds a  software engineering degree from the French High school ENSEIRB-MATMECA. He has contributed to numerous ADA solution development as solution architect and developer: Xilinx (Xst, Vivado synthesis), Certess (Certitude), Atrenta (Power Optimization) and  Menta (Synthesis, Placer, Routing, IHM,...).