Raimund Ubar, Lembit Jurimagi, Maksim Jenihhin, Jaan Raik, Niyi-Leigh Olugbenga, Vladimir Viies. Timing-critical path analysis with structurally synthesized BDDs. In 7th Mediterranean Conference on Embedded Computing, MECO 2018, Budva, Montenegro, June 10-14, 2018. pages 1-6, IEEE, 2018. [doi]
Abstract is missing.