“An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits” by Lengál et al., applies techniques ...

The standard cell layouts of ternary SUM, NCARRY, NANY, and PROD gates are designed using balanced ternary logic and multi-threshold graphene barrister (MTGB). The interconnect wire length of the ...