Tensor Algebra to Represent and Accelerate RTL Simulation · HackerTrans