Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level.

Jacques Chazarain Hélène Collavizza Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level. 109-121 1993 conf/charme/1993 CHARME db/conf/charme/charme1993.html#ChazarainC93