Robert Brayton

affiliation not provided to SSRN

SCHOLARLY PAPERS

1

DOWNLOADS

5

SSRN CITATIONS

0

CROSSREF CITATIONS

0

Scholarly Papers (1)

1.

Efficient Verification and Synthesis Using Design Commonalities

Number of pages: 10 Posted: 17 Nov 2020
Gitanjali Swamy, Stephen Edwards and Robert Brayton
PCRI, Harvard Business School, affiliation not provided to SSRN and affiliation not provided to SSRN
Downloads 5 (764,104)

Abstract:

Loading...

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