FAST METHODS FOR SWITCH-LEVEL VERIFICATION OF MOS CIRCUITS.

Douglas S. Reeves, Mary Jane Irwin

Research output: Contribution to journalArticle

Abstract

The performance of existing switch-level verifiers has been improved through a combination of techniques. First, efficient methods of finding paths in the switch graph are developed. Secondly, static analysis of the switch graph is proposed to accelerate verification of sequential logic. Thirdly, cell replication is utilized safely to make possible the verification of large hierarchical circuit designs. These ideas have been implemented in a program called V, which is part of the Penn State Design System. Experimental results are presented.

Original languageEnglish (US)
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
VolumeCAD-6
Issue number5
StatePublished - Sep 1 1986

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Graphics and Computer-Aided Design
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'FAST METHODS FOR SWITCH-LEVEL VERIFICATION OF MOS CIRCUITS.'. Together they form a unique fingerprint.

  • Cite this