Title: Correctness and performance analysis of imperative functional circuits