Ausgabe 3/2011
Inhalt (5 Artikel)
Survey of modern technologies of simulation-based verification of hardware
A. S. Kamkin, M. M. Chupilko
Simulation of operational semantics of machine instructions
V. A. Padaryan, M. A. Solov’ev, A. I. Kononov
A. S. Kamkin, M. M. Chupilko
V. A. Padaryan, M. A. Solov’ev, A. I. Kononov