Specman was originally developed at Verisity, an Israel-based company, which was acquired by Cadence on April 7, 2005.
It is now part of Cadence's functional verification suite.