Jacques Chazarain, Hélène Collavizza. Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level. In George J. Milne, Laurence Pierre, editors, Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME 93, Arles, France, May 24-26, 1993, Proceedings. Volume 683 of Lecture Notes in Computer Science, pages 109-121, Springer, 1993.
@inproceedings{ChazarainC93, title = {Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level}, author = {Jacques Chazarain and Hélène Collavizza}, year = {1993}, tags = {architecture, systematic-approach}, researchr = {https://researchr.org/publication/ChazarainC93}, cites = {0}, citedby = {0}, pages = {109-121}, booktitle = {Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME 93, Arles, France, May 24-26, 1993, Proceedings}, editor = {George J. Milne and Laurence Pierre}, volume = {683}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-56778-X}, }