Emiliano Morini

1. Datapath Verification via Word-Level E-Graph Rewriting
   2023/08/01 by Samuel Coward, Coward, Samuel, Emiliano Morini +7 · 3 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Hardware Architecture (cs.AR) #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #VLSI and Analog Circuit Testing