Proceedings of East-West Design & Test Symposiumсборник

Статьи, опубликованные в сборнике

---

• • 2016 An EFSM-Driven and Model Checking-Based Approach to Functional Test Generation for Hardware Designs
  • Kamkin A., Lebedev M., Smolov S.
  • в сборнике Proceedings of East-West Design & Test Symposium DOI
• • 2016 Applying Parameterized Model Checking to Real-Life Cache Coherence Protocols
  • Burenkov V., Kamkin A.
  • в сборнике Proceedings of East-West Design & Test Symposium DOI
• • 2016 ESL Design with RTL-Verified Predesigned Abstract Communication Channels
  • Haghi Najafi H., Chupilko M., Kamkin A., Navabi Z.
  • в сборнике Proceedings of East-West Design & Test Symposium DOI
• 
  • 2016 SPEED-INDEPENDENT FUSED MULTIPLY ADD AND SUBTRACT UNIT
  • Stepchenkov Y., Zakharov V., Rogdestvenski Y., Diachenko Y., Morozov N., Stepchenkov D.
  • в сборнике Proceedings of East-West Design & Test Symposium, с. 150-153 DOI
• • 2016 Testing Logic Circuits at Different Abstraction Levels: An Experimental Evaluation
  • Smolov S., Lopez J., Kushik N., Yevtushenko N., Chupilko M., Kamkin A.
  • в сборнике Proceedings of East-West Design & Test Symposium DOI
• • 2016 Universal Mitigation of NBTI-Induced Aging by Design Randomization
  • Jenihhin M., Kamkin A., Navabi Z., Sadeghi-Kohan S.
  • в сборнике Proceedings of East-West Design & Test Symposium DOI