Tensor Algebra to Represent and Accelerate RTL Simulation
arxiv.org