Technique for identifying RTL and gate-level correspondences

Srivaths Ravi, Indradeep Ghosh, Vamsi Boppana, Niraj Kumar Jha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Abstract

In this paper, we consider the mapping problem of identifying correspondences between a signal in a high-level specification and a net in a lower-level implementation for a given design. Conventional techniques use shared names to associate a signal with a net whenever possible. However, given that a synthesis flow may not preserve names, solutions to the above problem eventually take recourse to expensive alternatives such as formal verification. This work provides a robust framework for identifying RTL signal to gate-level net correspondences for a given design. Our technique exploits the observation that circuit diagnosis provides a convenient means for locating faults in a gate-level network. Since our problem requires locating gate-level nets corresponding to RTL signals, we formulate the mapping problem as a query whose solution is provided by a circuit diagnosis engine. Our experimental work with industrial designs for many mapping cases shows that our solution to the mapping problem is (i) fast, and (ii) precise in identifying the gate-level equivalents (the number of nets returned by our mapping engine for a query is typically 1 or 2 even for designs with tens of thousands of VHDL lines).

Original languageEnglish (US)
Title of host publicationProceedings - IEEE International Conference on Computer Design
Subtitle of host publicationVLSI in Computers and Processors
PublisherIEEE
Pages591-594
Number of pages4
StatePublished - Jan 1 2000
Event2000 International Conference on Computer Design - Austin, TX, USA
Duration: Sep 17 2000Sep 20 2000

Other

Other2000 International Conference on Computer Design
CityAustin, TX, USA
Period9/17/009/20/00

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Technique for identifying RTL and gate-level correspondences'. Together they form a unique fingerprint.

  • Cite this

    Ravi, S., Ghosh, I., Boppana, V., & Jha, N. K. (2000). Technique for identifying RTL and gate-level correspondences. In Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors (pp. 591-594). IEEE.