Awards

Best Paper Award

Timed Causal Fanin Analysis for Symbolic Circuit Simulation by Roope Kaivola and Neta Bar Kama.

Congratulations to the authors!