Semi-Formal Design Verification

Embedded Software Development for Safety-Critical Systems ◽

10.1201/b18965-18 ◽

2017 ◽

pp. 187-210

Keyword(s):

Design Verification ◽

Formal Design

Incremental Formal Design Verification

SSRN Electronic Journal ◽

10.2139/ssrn.3702097 ◽

1994 ◽

Author(s):

Gitanjali Swamy ◽

Robert K. Brayton

Keyword(s):

Design Verification ◽

Formal Design

Formal design verification of digital circuitry

Reliability Engineering & System Safety ◽

10.1016/0951-8320(91)90048-c ◽

1991 ◽

Vol 32 (1-2) ◽

pp. 67-93 ◽

Cited By ~ 1

Author(s):

Ricky W. Butler ◽

Jon A. Sjogren

Keyword(s):

Design Verification ◽

Digital Circuitry ◽

Formal Design

Formal Design Verification of Digital Systems

20th Design Automation Conference Proceedings ◽

10.1109/dac.1983.1585653 ◽

1983 ◽

Cited By ~ 19

Author(s):

A.S. Wojcik

Keyword(s):

Digital Systems ◽

Design Verification ◽

Formal Design

A Formal Design Verification System Based on an Automated Reasoning System

21st Design Automation Conference Proceedings ◽

10.1109/dac.1984.1585867 ◽

1984 ◽

Cited By ~ 10

Author(s):

A.S. Wojcik ◽

J. Kljaich ◽

N. Srinivas

Keyword(s):

Automated Reasoning ◽

Design Verification ◽

Reasoning System ◽

Verification System ◽

Formal Design

Incremental Formal Design Verification

IEEE/ACM International Conference on Computer-Aided Design ◽

10.1109/iccad.1994.629843 ◽

2005 ◽

Cited By ~ 1

Author(s):

G.M. Swamy ◽

R.K. Brayton

Keyword(s):

Design Verification ◽

Formal Design