Robert K. Brayton

affiliation not provided to SSRN

SCHOLARLY PAPERS

3

DOWNLOADS

15

SSRN CITATIONS

3

CROSSREF CITATIONS

0

Scholarly Papers (3)

1.

Incremental Formal Design Verification

Number of pages: 24 Posted: 17 Nov 2020
Gitanjali Swamy and Robert K. Brayton
PCRI, Harvard Business School and affiliation not provided to SSRN
Downloads 6 (757,654)
Citation 3

Abstract:

Loading...

incremental algorithms, iterative design, computer aided design, finite state machine traversal, state space exploration

2.

Incremental Methods for FSM Traversal

Number of pages: 15 Posted: 17 Nov 2020
Gitanjali Swamy, Vigyan Singhal and Robert K. Brayton
PCRI, Harvard Business School, affiliation not provided to SSRN and affiliation not provided to SSRN
Downloads 5 (765,365)

Abstract:

Loading...

incremental algorithms, iterative design, computer aided design, finite state machine traversal, state space exploration

3.

Minimal Logic Re-synthesis

Number of pages: 17 Posted: 17 Nov 2020
PCRI, Harvard Business School, affiliation not provided to SSRN, affiliation not provided to SSRN and affiliation not provided to SSRN
Downloads 4 (773,012)

Abstract:

Loading...

incremental algorithms, iterative design, computer aided design, logic network mapping