San Jose, Calif. -- Atrenta, a San Jose-based developer of software used to improve design efficiency for semiconductor and consumer electronics companies, said it has acquired Santa Clara-based NextOp Software, a provider of assertion synthesis technology used by semiconductor and consumer electronics developers. Financial terms of the deal were not disclosed. NextOp said the acquisition will allow it to expand its SpyGlass register transfer level (RTL) platform to include functional verification. "Atrenta’s customers have come to rely on SpyGlass to verify a broad range of design intent, but functional verification was a missing part of our platform," said Ajoy Bose, the chairman, president and CEO of Atrenta. "NextOp's assertion synthesis completes this part of our offering."