  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).
