System for Static Analysis of SystemVerilog HDL

Yan Andreevich CHURKIN; Ruben Arturovich BUCHATSKIY; Konstantin Nikolaevich KITAEV; Aleksey Georgievich VOLOKHOV; Egor Viktorovich DOLGODVOROV; Alexander Sergeevich KAMKIN; Artem Mikhailovich KOTSYNYAK; Dmitry Olegovich SAMOVAROV

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)
Trudy Instituta sistemnogo programmirovaniâ

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

User

eng | рус

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

Advanced search

Archives

Download this PDF file

Fullscreen

For citations:

CHURKIN Ya.A., BUCHATSKIY R.A., KITAEV K.N., VOLOKHOV A.G., DOLGODVOROV E.V., KAMKIN A.S., KOTSYNYAK A.M., SAMOVAROV D.O. System for Static Analysis of SystemVerilog HDL. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(1):7-40. (In Russ.) https://doi.org/10.15514/ISPRAS-2025-37(1)-1

This work is licensed under a Creative Commons Attribution 4.0 License.

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

* not an advertisement

Indexing Databases

* not an advertisement

Popular articles

Editor-in-Chief

Academician Arutyun I. Avetisyan

Article Tools

How to cite item

Finding References

Email this article (Login required)

Email the author (Login required)

About the Authors

Yan Andreevich CHURKIN
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Researcher at Compiler Technology department of ISP RAS. Research interests: static analysis, compiler technologies, optimizations, hardware description languages.

Ruben Arturovich BUCHATSKIY
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Cand. Sci. (Tech.), researcher at Compiler Technology department of ISP RAS. Research interests: static analysis, compiler technologies, optimizations.

Konstantin Nikolaevich KITAEV
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Moscow Institute of Physics and Technology
Russian Federation

Student at MIPT, laboratory assistant at Compiler Technology department of ISP RAS. Research interests: static analysis, compiler technologies, optimizations.

Aleksey Georgievich VOLOKHOV
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Leading engineer at Compiler Technology department of ISP RAS. Research interests: static analysis, compiler technologies, optimizations.

Egor Viktorovich DOLGODVOROV
Moscow Institute of Physics and Technology
Russian Federation

Student at MIPT. Research interests: static analysis, compiler technologies, optimizations.

Alexander Sergeevich KAMKIN
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Lomonosov Moscow State University, Moscow Institute of Physics and Technology, Plekhanov Russian University of Economics
Russian Federation

Cand. Sci. (Phys.-Math.), leading researcher at Software Engineering department of ISP RAS, leading researcher at Plekhanov Russian University of Economics. Research interests: formal methods, synthesis and verification of digital hardware, and heterogeneous computer systems.

Artem Mikhailovich KOTSYNYAK
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Researcher at Software Engineering department of ISP RAS. Research interests: formal methods, compiler technologies, models of computation, programming languages.

Dmitry Olegovich SAMOVAROV
Ivannikov Institute for System Programming of the Russian Academy of Sciences, Lomonosov Moscow State University
Russian Federation

Researcher at Compiler Technology department of ISP RAS. Research interests: static analysis, compiler technologies, optimizations, hardware description languages.

Notifications

Username
Password
	Remember me
Not a user? Register with this site Forgot your password?

User

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

For citations:

Cookies policy