Modeling sequential circuits with shared structurally synthesized BDDs | IEEE Conference Publication | IEEE Xplore