Exact path delay grading with fundamental BDD operations | IEEE Conference Publication | IEEE Xplore