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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

Semi-Formal Design Verification

Embedded Software Development for Safety-Critical Systems ◽

10.1201/9780429323010-14 ◽

2019 ◽

pp. 199-222

Author(s):

Chris Hobbs

Keyword(s):

Design Verification ◽

Formal Design

Download Full-text

Achieving understandable results in a formal design verification

10.1109/csfw.1989.40594 ◽

2003 ◽

Cited By ~ 3

Author(s):

R.B. Neely ◽

J.W. Freeman ◽

M.D. Krenzin

Keyword(s):

Design Verification ◽

Formal Design

Download Full-text

Formal design verification for correctness of pipelined microprocessors with out-of-order instruction execution

Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198) ◽

10.1109/aspdac.1999.759989 ◽

1999 ◽

Author(s):

T. Takenaka ◽

J. Kitamichi ◽

T. Higashino ◽

K. Taniguchi

Keyword(s):

Design Verification ◽

Formal Design ◽

Pipelined Microprocessors

Download Full-text

Formal Design Verification

Embedded Software Development for Safety-Critical Systems ◽

10.1201/9780429323010-15 ◽

2019 ◽

pp. 223-247

Author(s):

Chris Hobbs

Keyword(s):

Design Verification ◽

Formal Design

Download Full-text

Formal Design Verification

Embedded Software Development for Safety-Critical Systems ◽

10.1201/b18965-20 ◽

2015 ◽

pp. 211-235

Keyword(s):

Design Verification ◽

Formal Design

Download Full-text