Chung-Yang Huan. Using word-level ATPG and modular arithmetic constraint-solving techniques for assertion property checking. IEEE Transactions on computer-aided design of integrated circuits and systems.
Цитирование в стиле Чикаго (17-е изд.)Chung-Yang Huan. "Using Word-level ATPG and Modular Arithmetic Constraint-solving Techniques for Assertion Property Checking." IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems .
Цитирование MLA (9-е изд.)Chung-Yang Huan. "Using Word-level ATPG and Modular Arithmetic Constraint-solving Techniques for Assertion Property Checking." IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems, .
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.