IEEE - Institute of Electrical and Electronics Engineers, Inc. - Towards Formal Verification of ASIP Based on HDPN

2009 International Conference on Electronic Computer Technology, ICECT

Author(s): Yanyan Gao ; Xi Li ; Hongxing Ma
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 February 2009
Conference Location: Macau, China, China
Conference Date: 20 February 2009
Page(s): 26 - 32
ISBN (Paper): 978-0-7695-3559-3
DOI: 10.1109/ICECT.2009.139
Regular:

Verification is one of the most complex and expensive tasks in current Application Specific Instruction-set Processor (ASIP) design process. Many existing approaches utilize a multi-level strategy... View More

Advertisement