Browse Prior Art Database

Hardware Simulation Test Effectiveness Measurement Via Functional Path Analysis

IP.com Disclosure Number: IPCOM000062070D
Original Publication Date: 1986-Oct-01
Included in the Prior Art Database: 2005-Mar-09

Publishing Venue

IBM

Related People

Authors:
McLaren, RW [+details]

Abstract

This article describes a method that provides an accurate assessment of the function simulated within the software model of a digital logic hardware design. The concept of a functional path is the key element in the method, which is based on path analysis. A functional path is defined as a unique sequence of logical events that cause a change in the state of the model being analyzed. Path analysis involves the definition of all of the possible path permutations that can exist in this model. The essential elements of this are: 1. A technique to define all functions as a collection of unique paths. 2. A methodology whereby simulation exercise can be verified via analysis of a cyclic results trace. The unique features contained within this invention are: 1.