Robert K. Brayton

affiliation not provided to SSRN

SCHOLARLY PAPERS

3

DOWNLOADS

12

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 5 (734,077)
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 4 (741,844)

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 3 (749,953)

Abstract:

Loading...

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