- 期刊
- OpenAccess
Automatic Simulation and Verification of Pipelined Microcontrollers
並列摘要
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.
延伸閱讀
- 王傳弘（2006）。Verification and Test of Embedded System。電腦與通訊，(116)，152-163。https://doi.org/10.29917/CCLTJ.200606.0023
- 黃世欽（2007）。Simulation and Validation of Drop Test for 3C Electronic Products〔碩士論文，國立臺北科技大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0006-2607200713403900
- 紀欣亞（2012）。Design and Implementation of a Non-isolated Bidirectional Converter〔碩士論文，國立中正大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0033-2110201613515499
- 尤伯欽（2009）。Design and Realization of Real-Time Digital Simulator for Power Electronics〔碩士論文，國立臺北科技大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0006-2008200916123200
- 宋旻達（2012）。Internet-Based Remote Programmable Embedded Micro-Controller System Design And Implementation〔碩士論文，元智大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0009-2801201415014991