Early evaluation for phased logic circuits using BDDS and MVL | IEEE Conference Publication | IEEE Xplore