Showing 1 - 2 of 2 Results
1.
Formal Verification Of A Processor With Memory Management Units by Dalinger, Iakov ISBN: 9783639001884 List Price: $64.00
2.
The VAMP Memory Unit: Hardware Design and Formal Verification by Iakov Dalinger, Artem Alekhin ISBN: 9783639088793 List Price: $63.00