For citations:

Kamkin A., Kotsynyak A., Smolov S., Tatarnikov A., Chupilko M., Sortov A. Tools for Functional Verification of Microprocessors. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2014;26(1):149-200. (In Russ.) https://doi.org/10.15514/ISPRAS-2014-26(1)-5