Invionics provides a custom EDA tool development platform.
RTL Processing Engine allows you to parse, explore and manipulate RTL. This enables design tools and flows that automate RTL changes, such as partitioning, BIST insertion, debug insertion, etc. at the RTL level.
VRDM Development Platform layers a rapid development interface on top of Verific’s, SystemVerilog and VHDL parsers.
Netlist explorer provides searching capabilities for specific gate-level constructs, verifying timing constraints, managing DFT, BIST, pad rings, etc. using complex regular expression based search and interactive reporting.
In 2015 they also added a custom analog and mixed-signal platform.