The VAMP Memory Unit
Hardware Design and Formal Verification
Autor:
Iakov Dalinger, Artem Alekhin
Disponibilitate:
La editor doar la comandă
Expediem în 17-27 zile
254.63
lei
This work is devoted to the formal verification of§the VAMP memory unit (MU) and based on the work§c...