A novel specification driven and constraints- solving based method to automatically generate testprograms from simple to complex ones for advanced microprocessors is presented in this paper: Our microprocessor archit...
详细信息
ISBN:
(纸本)0780387368
A novel specification driven and constraints- solving based method to automatically generate testprograms from simple to complex ones for advanced microprocessors is presented in this paper: Our microprocessor architectural automatic test program generator (MA(2)TG) can produce not only random testprograms but also a sequence of instructions for a specific constraint by specifying a user constraints file. The proposed methodology makes three important contributions. First, it simplifies the microprocessor architecture modeling and eases adoption of architecture modification via architecture description language (ADL) specification. Second, it generates testprograms for specific constraints utilizing the power of state-to-art constraints solving techniques. Finally, the number of testprogram for microprocessor verification and the verification time are dramatically reduced. We applied this method on DLX processor to illustrate the usefulness of our approach.
暂无评论