Incentia Logic Synthesis Solutions.
DesignCraft
TestCraft