Efficient Microprocessor Verification using Antecedent Conditioned Slicing

20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07) ◽

10.1109/vlsid.2007.70 ◽

2007 ◽

Cited By ~ 3

Author(s):

Shobha Vasudevan ◽

Vinod Viswanath ◽

Jacob Abraham

Keyword(s):

Microprocessor Verification

Download Full-text

Automatic functional test program generation for microprocessor verification

Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005. ◽

10.1109/aspdac.2005.1466518 ◽

2005 ◽

Cited By ~ 2

Author(s):

Tun Li ◽

Dan Zhu ◽

Lei Liang ◽

Yang Guo ◽

SiKun Li

Keyword(s):

Functional Test ◽

Test Program ◽

Program Generation ◽

Microprocessor Verification

Download Full-text

MA2TG: A Functional Test Program Generator for Microprocessor Verification

8th Euromicro Conference on Digital System Design (DSD'05) ◽

10.1109/dsd.2005.54 ◽

2005 ◽

Author(s):

Tun Li ◽

D. Zhu ◽

Yang Guo ◽

GongJie Liu ◽

SiKun Li

Keyword(s):

Functional Test ◽

Test Program ◽

Microprocessor Verification ◽

Program Generator

Download Full-text

Trace table based approach for pipelined microprocessor verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-63166-6_36 ◽

1997 ◽

pp. 364-375 ◽

Cited By ~ 20

Author(s):

Jun Sawada ◽

Warren A. Hunt

Keyword(s):

Microprocessor Verification

Download Full-text

TED+: a data structure for microprocessor verification

Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005. ◽

10.1109/aspdac.2005.1466228 ◽

2005 ◽

Cited By ~ 1

Author(s):

P. Lotfi-Kamran ◽

M. Hosseinabady ◽

H. Shojaei ◽

M. Massoumi ◽

Z. Navabi

Keyword(s):

Data Structure ◽

Microprocessor Verification

Download Full-text

Mechanical Mathematical Methods for Microprocessor Verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27813-9_51 ◽

2004 ◽

pp. 523-533 ◽

Cited By ~ 2

Author(s):

Warren A. Hunt

Keyword(s):

Mathematical Methods ◽

Microprocessor Verification

Download Full-text

A generic micro-architectural test plan approach for microprocessor verification

Proceedings. 42nd Design Automation Conference, 2005. ◽

10.1145/1065579.1065785 ◽

2005 ◽

Cited By ~ 1

Author(s):

Allon Adir ◽

Hezi Azatchi ◽

Eyal Bin ◽

Ofer Peled ◽

Kirill Shoikhet

Keyword(s):

Test Plan ◽

Microprocessor Verification

Download Full-text

Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-48754-9_1 ◽

1999 ◽

pp. 1-13 ◽

Cited By ~ 2

Author(s):

Randal E. Bryant ◽

Steven German ◽

Miroslav N. Velev

Keyword(s):

Decision Procedures ◽

Microprocessor Verification

Download Full-text

Software-based microprocessor verification methodology for Linux booting

2013 International Symposium on Next-Generation Electronics ◽

10.1109/isne.2013.6512357 ◽

2013 ◽

Author(s):

Chien-Chih Chen ◽

Chi-Tsai Yeh ◽

Ing-Jer Huang

Keyword(s):

Microprocessor Verification ◽

Verification Methodology

Download Full-text

Automatic functional test program generation for microprocessor verification

Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05 ◽

10.1145/1120725.1120819 ◽

2005 ◽

Author(s):

Tun Li ◽

Dan Zhu ◽

Lei Liang ◽

Yang Guo ◽

SiKun Li

Keyword(s):

Functional Test ◽

Test Program ◽

Program Generation ◽

Microprocessor Verification

Download Full-text

Probabilistic bug-masking analysis for post-silicon tests in microprocessor verification

Proceedings of the 53rd Annual Design Automation Conference on - DAC '16 ◽

10.1145/2897937.2898072 ◽

2016 ◽

Cited By ~ 1

Author(s):

Doowon Lee ◽

Tom Kolan ◽

Arkadiy Morgenshtein ◽

Vitali Sokhin ◽

Ronny Morad ◽

...

Keyword(s):

Microprocessor Verification

Download Full-text