There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
The development of practical methods for synthesis and verification of complex photonic
circuits presents a grand challenge for the nascent field of quantum engineering.
Of course, classical electrical engineering provides essential foundations and serves
to illustrate the degree of sophistication that can be achieved in automated circuit
design. In this paper we explore the utility of term rewriting approaches to the transformation
of quantum circuit models, specifically applying rewrite rules for both reduction/verification
and robustness analysis of photonic circuits for autonomous quantum error correction.
We outline a workflow for quantum photonic circuit analysis that leverages the Modelica
framework for multi-domain physical modeling, which parallels a previously described
approach based on VHSIC Hardware Description Language (VHDL).