Arithmatica has also entered into a partnership with Sequence Design to ensure that designers of complex SOCs can use both CellMath, for data path ... Enhancement of Verilog behavioral output model to ...