Two common issues that come up when attempting to run an algorithm on specific hardware platforms include:

  1. Gates inside of theoretical circuits are not directly compatible with the hardware’s native gateset.

  2. Gates or circuits are specified as unitary matrices, rather than specific gate decompositions.

If True-Qᵀᴹ has access to the configuration of the system, it is possible to solve both of these issues. Our transpilation tools take a circuit and rewrite it using only the gates and connections specified in a given device configuration file.



The same circuit can be transpiled for implementation on any number of hardware devices. Below we show an example of this.

Transpilation makes use of gate synthesis in order to rewrite a circuit in cycles which are compatible with a given device’s configuration. Synthesis takes a unitary as input and decomposes it into a set of cycles which can be implemented on a specified hardware system, with restrictions specified by the desired platform’s config file.


Other simplifications can be specified for a compiler; the patterns used to rewrite a circuit can be specified by the user, and/or built-in patterns can be leveraged.


  1. Transpiler