[Accepted by CDC2024] Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions, Hongkai Dai, Chuanrui Jiang, Hongchao Zhang, Andrew Clark