Kamkin Alexander S.
Publication schedule
-
№4 December 2024
Latest issues
- 2024, Volume 17 Issue 2 Full text
- 2024, Volume 17 Issue 1
- 2023, Volume 16 Issue 4 Full text
- 2023, Volume 16 Issue 3 Full text
A Method of Extended Finite State Machines Construction from HDL Descriptions Based on Static Analysis of Source Code
- Year: 2015
- Issue: 1
- 260
- 6545
- Pages: 60-73
Verifying correctness of hdl-model behavior on the basis of dynamical trace matching
- Year: 2014
- Issue: 2
- 330
- 6176
- Pages: 130-142