Lionel Bening. A Two-State Methodology for RTL Logic Simulation. In DAC. pages 672-677, 1999. [doi]
@inproceedings{Bening99, title = {A Two-State Methodology for RTL Logic Simulation}, author = {Lionel Bening}, year = {1999}, doi = {10.1145/309847.310024}, url = {http://doi.acm.org/10.1145/309847.310024}, tags = {logic}, researchr = {https://researchr.org/publication/Bening99}, cites = {0}, citedby = {0}, pages = {672-677}, booktitle = {DAC}, }