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.
Chicago-Zitierstil (17. Ausg.)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-Zitierstil (9. Ausg.)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, .
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.