Dubrova, Elena
- AIG Rewriting Using 5-Input Cuts
2011/08/18 by Nan Li, Li, Nan, Elena Dubrova +1 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Low-power high-performance VLSI design #VLSI and Analog Circuit Testing #cs.LO