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