Ivannikov Institute for System Programming of the RAS

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


M. Chupilko.


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