Atrenta Buys NextOp

By Ed Sperling Atrenta said today it will acquire NextOp Software, a formal tools startup that was created in 2006 and which came out of stealth mode in 2010. The move is interesting as much from a business perspective—it pits Atrenta against Jasper Design Automation, at least in the narrow assertion synthesis and assertion generation markets—as what it says about the increasing interes... » read more