Accelerating SoC Sensor Network Verification Sign-off through Dynamic and Formal Synergy Author(s): Vinod Usha, Shreeram Hegde, Prasad Reddy Download
