Subodh M. Reddy, Wolfgang Kunz, Dhiraj K. Pradhan
Novel Verification Framework Combining Structural and OBDD Methods in a Synthesis Environment
DAC, 1995.
@inproceedings{DAC-1995-ReddyKP,
author = "Subodh M. Reddy and Wolfgang Kunz and Dhiraj K. Pradhan",
booktitle = "{Proceedings of the 32nd Design Automation Conference}",
isbn = "0-89791-725-1",
pages = "414--419",
publisher = "{ACM Press}",
title = "{Novel Verification Framework Combining Structural and OBDD Methods in a Synthesis Environment}",
year = 1995,
}