“…In the experiments described here, we used MMD for the first step, however any initial mapping or existing circuit cascade could be used and optimized with our approach. This circuit is converted into a QMDD representation and a sifting minimization using dynamic variable ordering (DVO) is performed [21,26,27]. While the QMDD can be built directly from the complete specification, we use the baseline circuit C1 to gauge the efficiency of the proposed framework's results.…”