Lionel Bening
A Two-State Methodology for RTL Logic Simulation
DAC, 1999.
@inproceedings{DAC-1999-Bening,
author = "Lionel Bening",
booktitle = "{Proceedings of the 36th Design Automation Conference}",
doi = "10.1145/309847.310024",
pages = "672--677",
publisher = "{ACM Press}",
title = "{A Two-State Methodology for RTL Logic Simulation}",
year = 1999,
}