Locating Hotspots based on Switching Probability Calculation and Functional Analysis with Partial Truth Table | Synapse