Ivannikov Institute for System Programming of the RAS


Models of Synchronous Hardware Designs Based on FSM at Different Abstraction Levels: Application to Functional Verification.

Authors

M. Chupilko.

Edition

EWDTS-2010 (East-West Design and Test Symposium 2010). Proceedings of IEEE East-West Design & Test Symposium (EWDTS 2010), 127-130 pp.

Research Group

Software Engineering

All publications during 2010 All publications