Timing-critical path analysis with structurally synthesized BDDs. - Raimund Ubar; Lembit Jurimagi; Maksim Jenihhin; Jaan Raik; Niyi-Leigh Olugbenga; Vladimir Viies (MECO, 2018)