Efficient simulation of quantum mechanical systems is an important application of quantum computing. We build a fault-tolerant, ion-trap-based architecture for the quantum simulation algorithm, using the quantum CAD flow developed at Berkeley. First, we develop a software that, given the description of a quantum simulation problem, generates the solution circuit and optimizes it by using a laye...