1.
Formal Verification Of A Processor With Memory Management Units
by Dalinger, Iakov
ISBN: 9783639001884
List Price: $64.00
OUT OF STOCK
See Availability on Amazon2.
The VAMP Memory Unit: Hardware Design and Formal Verification
by Iakov Dalinger, Artem Alekhin
ISBN: 9783639088793
List Price: $63.00