@inproceedings{WDDAC00,
author = "Chris Wilson and David L. Dill",
title = "Reliable Verification Using Symbolic Simulation with Scalar Values",
booktitle="Proceedings of the 37th Design Automation Conference",
Note="Los Angeles, CA",
month="June",
year=2000}