## David M. Russinoff

*A Mathematical Approach to RTL Verification*

CAV, 2007.

@inproceedings{CAV-2007-Russinoff, author = "David M. Russinoff", booktitle = "{Proceedings of the 19th International Conference on Computer Aided Verification}", doi = "10.1007/978-3-540-73368-3_2", isbn = "978-3-540-73367-6", pages = "2", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Mathematical Approach to RTL Verification}", volume = 4590, year = 2007, }