Previous [1] [2] [3] [4] [5] [6] [7] [8]

Journal of Inforamtion Science and Engineering, Vol.15 No.2, pp.307-320 (March 1999)
Automatic Simulation and Verification of
Pipelined Microcontrollers

Ing-Jer Huang and Li-Rong Wang
Institute of Computer and Information Engineering
National Sun Yat-Sen University
Kaohsiung, Taiwan 804, R.O.C.

This paper presents a methodology for automatic simulation and verification of pipelined microcontrollers. Using this methodology, we can generate the simulation for the instruction set architecture (ISA), abstract finite state machine (FSM) and pipelined register transfer level design and compare the simulation results across different levels quickly. We have implemented our method in the simulation and verification of a synthesized microcontroller HT_4 using our behavioral synthesis tool.

Keywords: functional verification, simulation, high level synthesis, microcontrollers, microprocessors

Full Text () Retrieve PDF document (199903_07.pdf : 117,304 bytes)

Received October 31, 1997; accepted March 18, 1998.
Communicated by Youn-Long Lin.