Networking and telecommunication OEMs are at the forefront of design complexity. A network element can contain hundreds of thousands or even millions of source lines and employ hundreds of software ...