1 |
C. Pixley, and et al., 'Commercial Design Verification: Methodology and Tools,' Proc. IEEE Int. Test Conf. pp. 839-848, 1996
DOI
|
2 |
Ta-Chung Chang, 'A Biased Random Instruction Gemeration Environment for Architectural Verification of Pipelined Processor,' in Journal of Electronic Testing : Theory and Applications 16, pp, 13-27, 2000
DOI
ScienceOn
|
3 |
M. Bose, E. M. Rudnick, M. Abadir, 'Automatic bias generation using pipeline instruction state coverage for biased random instruction generation', On-Line Testing Workshop 2001 Proceedings Seventh International, pp. 65-71, July 2001
DOI
|
4 |
G. Y. Jeong and J. S. Park, 'Implementation of 32-bit RISC Processor and Efficient Verification', 8th Korea-Russia International Symposium on Science and Technology, Tomsk Univ., Russia, June 2004
DOI
|
5 |
Michael J. Flynn and Stuart Oberman, Advanced Computer Arithmetic Design, Wiely Interscience, 2001
|
6 |
G. Y. Jeong and J. S. Park, 'Implementation of 32-bit RISC Processor', IDEC Conference, pp, 200-201, KAlST korea, Aug. 2002
|
7 |
Brian S. Cherkauer and Eby G. Friedman, 'A Hybrid Radix-4/Radix-8 Low Power Signed Multiplier' Architecture', IEEE Trans. on Circuits and Systems Vol. 44 No.8, pp. 656-659, Aug. 1997
DOI
ScienceOn
|
8 |
G. Y. Jeong and J. S. Park, 'Design and Verification of 32-bit RISC Processor', AP-SOC 2002 (Asia Pacific-System on a chip 2002), pp. 228-231, COEX, Korea, Nov. 2002
|
9 |
C.S. Wallace, 'High speed arithmetic in binary computers,' IEEE Trans. Electron Comput., Feb. 1964
DOI
ScienceOn
|
10 |
M. K. Ibrahim, 'Radix-2n multiplier structure: a structured design methodology', IEE Proc. Computers and Digital Techniques Vol. 140, pp. 185-190, July 1993
|
11 |
Steve Furber, ARM System Architecture, Addison-Wesley, 1996
|
12 |
Dave Jagger, ARM Architectural Reference Manual, Prentice Hall, London, 1996
|