Accurate Booleanization Of Continuous Dynamics For Analog/Mixed-Signal Design