EP1437877A3 - Method and apparatus for hardware implementation independent verification of network layers