microprocessor verification Latest Research Papers

Automated Test Picker for Complex Microprocessor Verification Environment

2019 20th International Workshop on Microprocessor/SoC Test, Security and Verification (MTV) ◽

10.1109/mtv48867.2019.00020 ◽

2019 ◽

Author(s):

Chetas Mapara ◽

Jerrin Jose

Keyword(s):

Automated Test ◽

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

Microcode Verification – Another Piece of the Microprocessor Verification Puzzle

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08970-6_1 ◽

2014 ◽

pp. 1-16 ◽

Cited By ~ 6

Author(s):

Jared Davis ◽

Anna Slobodova ◽

Sol Swords

Keyword(s):

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

An abstraction-guided simulation approach using Markov models for microprocessor verification

2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) ◽

10.1109/date.2010.5457155 ◽

2010 ◽

Cited By ~ 3

Author(s):

Tao Zhang ◽

Tao Lv ◽

Xiaowei Li

Keyword(s):

Markov Models ◽

Simulation Approach ◽

Microprocessor Verification

Download Full-text

Microprocessor Verification via Feedback-Adjusted Markov Models

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2006.884494 ◽

2007 ◽

Vol 26 (6) ◽

pp. 1126-1138 ◽

Cited By ~ 35

Author(s):

Ilya Wagner ◽

Valeria Bertacco ◽

Todd Austin

Keyword(s):

Markov Models ◽

Microprocessor Verification

Download Full-text

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

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

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

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

microprocessor verification
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Automated Test Picker for Complex Microprocessor Verification Environment

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

Microcode Verification – Another Piece of the Microprocessor Verification Puzzle

Software-based microprocessor verification methodology for Linux booting

An abstraction-guided simulation approach using Markov models for microprocessor verification

Microprocessor Verification via Feedback-Adjusted Markov Models

Efficient Microprocessor Verification using Antecedent Conditioned Slicing

MA2TG: A Functional Test Program Generator for Microprocessor Verification

Automatic functional test program generation for microprocessor verification

TED+: a data structure for microprocessor verification

Export Citation Format

microprocessor verificationRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Automated Test Picker for Complex Microprocessor Verification Environment

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

Microcode Verification – Another Piece of the Microprocessor Verification Puzzle

Software-based microprocessor verification methodology for Linux booting

An abstraction-guided simulation approach using Markov models for microprocessor verification

Microprocessor Verification via Feedback-Adjusted Markov Models

Efficient Microprocessor Verification using Antecedent Conditioned Slicing

MA2TG: A Functional Test Program Generator for Microprocessor Verification

Automatic functional test program generation for microprocessor verification

TED+: a data structure for microprocessor verification

microprocessor verification
Recently Published Documents