Functional test generation for hard to detect stuck-at faults using RTL model checking

2012 17TH IEEE EUROPEAN TEST SYMPOSIUM (ETS) ◽

10.1109/ets.2012.6233016 ◽

2012 ◽

Cited By ~ 7

Author(s):

Mahesh Prabhu ◽

Jacob A. Abraham

Keyword(s):

Model Checking ◽

Test Generation ◽

Functional Test

Download Full-text

Functional Test Generation at the RTL Using Swarm Intelligence and Bounded Model Checking

2013 22nd Asian Test Symposium ◽

10.1109/ats.2013.51 ◽

2013 ◽

Cited By ~ 9

Author(s):

Kelson Gent ◽

Michael S. Hsiao

Keyword(s):

Model Checking ◽

Swarm Intelligence ◽

Test Generation ◽

Bounded Model Checking ◽

Functional Test

Download Full-text

A Model Checking-Based Method of Functional Test Generation for HDL Descriptions

Proceedings of the Institute for System Programming of RAS ◽

10.15514/ispras-2016-28(4)-3 ◽

2016 ◽

Vol 28 (4) ◽

pp. 41-56

Author(s):

M.S. Lebedev ◽

S.A. Smolov

Keyword(s):

Model Checking ◽

Test Generation ◽

Functional Test

Download Full-text

An EFSM-driven and model checking-based approach to functional test generation for hardware designs

2016 IEEE East-West Design & Test Symposium (EWDTS) ◽

10.1109/ewdts.2016.7807736 ◽

2016 ◽

Author(s):

Alexander Kamkin ◽

Mikhail Lebedev ◽

Sergey Smolov

Keyword(s):

Model Checking ◽

Test Generation ◽

Functional Test ◽

Hardware Designs

Download Full-text

Functional test generation for FSMs by fault extraction

32nd Design Automation Conference ◽

10.1145/196244.196622 ◽

1994 ◽

Cited By ~ 1

Author(s):

Bapiraju Vinnakota ◽

Jason Andrews

Keyword(s):

Test Generation ◽

Functional Test

Download Full-text

FUNTASSI: A functional test generation assistant

Proceedings of IEEE Custom Integrated Circuits Conference - CICC '93 ◽

10.1109/cicc.1993.590780 ◽

2002 ◽

Author(s):

K. Kohno ◽

M. Sekine

Keyword(s):

Test Generation ◽

Functional Test

Download Full-text

Test Generation Using Model Checking and Specification Mutation

IT Professional ◽

10.1109/mitp.2013.104 ◽

2014 ◽

Vol 16 (2) ◽

pp. 17-21 ◽

Cited By ~ 1

Author(s):

Paul E. Black

Keyword(s):

Model Checking ◽

Test Generation

Download Full-text

Model Checking Techniques for Test Generation from Business Process Models

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_5 ◽

2009 ◽

pp. 59-74 ◽

Cited By ~ 4

Author(s):

Didier Buchs ◽

Levi Lucio ◽

Ang Chen

Keyword(s):

Model Checking ◽

Business Process ◽

Test Generation ◽

Process Models ◽

Business Process Models

Download Full-text

Using Model Checking for Reducing the Cost of Test Generation

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31848-4_8 ◽

2005 ◽

pp. 110-124 ◽

Cited By ~ 5

Author(s):

Hyoung Seok Hong ◽

Hasan Ural

Keyword(s):

Model Checking ◽

Test Generation ◽

The Cost

Download Full-text

A functional test generation technique for RTL datapaths

2012 IEEE International High Level Design Validation and Test Workshop (HLDVT) ◽

10.1109/hldvt.2012.6418244 ◽

2012 ◽

Cited By ~ 1

Author(s):

Bijan Alizadeh ◽

Masahiro Fujita

Keyword(s):

Test Generation ◽

Functional Test ◽

Generation Technique

Download Full-text

Model checking of statecharts using automatic white box test generation

48th Midwest Symposium on Circuits and Systems, 2005. ◽

10.1109/mwscas.2005.1594105 ◽

2005 ◽

Cited By ~ 2

Author(s):

D. Drusinsky

Keyword(s):

Model Checking ◽

Test Generation

Download Full-text