Masamichi Kawarabayashi, Narendra V. Shenoy, Alberto L. Sangiovanni-Vincentelli
A Verification Technique for Gated Clock
DAC, 1993.
@inproceedings{DAC-1993-KawarabayashiSS,
author = "Masamichi Kawarabayashi and Narendra V. Shenoy and Alberto L. Sangiovanni-Vincentelli",
booktitle = "{Proceedings of the 30th Design Automation Conference}",
doi = "10.1145/157485.164624",
isbn = "0-89791-577-1",
pages = "123--127",
publisher = "{ACM Press}",
title = "{A Verification Technique for Gated Clock}",
year = 1993,
}