Efficient Verification and Synthesis Using Design Commonalities

10 Pages Posted: 17 Nov 2020

See all articles by Gitanjali Swamy

Gitanjali Swamy

PCRI, Harvard Business School; IoTask; University of California, Berkeley; Auto-ID Center, MIT

Stephen Edwards

affiliation not provided to SSRN

Robert Brayton

affiliation not provided to SSRN

Date Written: 1998

Abstract

In this paper we solve the problem of identifying a "matching" between two logic circuits or "networks". A matching is a functions that maps each gate or "node" in the new circuit into one in the old circuit (if a matching does not exist it maps it to null). We present both an exact and a heuristic way to solve the maximal matching problem. The matching problem does not require any input correspondences. The purpose is to identify structurally identical regions in the networks, and exploit the commonality between them for more efficient verification and synthesis.

Synthesis and verification tools that recognize commonalities both between two versions of the same design, as well within a single design, may be able to outperform their counterparts that do not utilize these commonalities. This work is concerned with detecting structural "matchings" that may be re-utilized.

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

Suggested Citation

Swamy, Gitanjali and Edwards, Stephen and Brayton, Robert, Efficient Verification and Synthesis Using Design Commonalities (1998). Available at SSRN: https://ssrn.com/abstract=3702090 or http://dx.doi.org/10.2139/ssrn.3702090

Gitanjali Swamy (Contact Author)

PCRI, Harvard Business School ( email )

114 Western Ave
Allston, MA 02134
United States

HOME PAGE: http://www.privatecapitalresearchinstitute.org/people.php

IoTask ( email )

One Broadway, 14th floor
Cambridge, MA 02142
United States
7819753345 (Phone)

HOME PAGE: http://www.iot-ask.com

University of California, Berkeley ( email )

310 Barrows Hall
Berkeley, CA 94720
United States

Auto-ID Center, MIT ( email )

Stephen Edwards

affiliation not provided to SSRN

Robert Brayton

affiliation not provided to SSRN

Do you have negative results from your research you’d like to share?

Paper statistics

Downloads
20
Abstract Views
197
PlumX Metrics