circuit evaluation methods for full simulation in order to accelerate the numerical search for
solution candidates. As a result, these tools have failed to migrate into mainstream use
primarily because of difficulties in reconciling the simplified models required for synthesis
with the industrial-strength simulation environments required for validation. We argue that for
synthesis to be practical, it is essential to synthesize a circuit using the same simulation …