Inferring assertion for complementary synthesis.

ShengYu Shen, Ying Qin, Jianmin Zhang

Browse the full ICCAD paper archive.