Searching in docs/physical_verification