EWDTS 2008:
Lviv, Ukraine
2008 East-West Design & Test Symposium, EWDTS 2008, Lviv, Ukraine, October 9-12, 2008.
IEEE 2008, ISBN 978-1-4244-3402-2
Alexander Kamkin:
Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications.
84-87