The analysis of the performance of nanometer intellectual property blocks based on interval simulation

Gavrilov, S. V.; Gudkova, O.N.; Stempkovskiy, Alexander

doi:10.1134/s1063739713070068

Cited by 11 publications

(1 citation statement)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For digital system design development and debugging the method of computer simulation is widely used. Some input signal sequences are applied to the computer model of a digital system, and the reaction of the system model being designed is checked for compliance with the required one [1,2].…”

Section: Introductionmentioning

confidence: 99%

Method of Mathematical Description for Digital System Blocks Logical Models

Гаврилов

Ivannikov

Stempkovsky

2019

MES

View full text Add to dashboard Cite

Digital systems blocks are considered. We consider that the functioning of such blocks can be represented as a sequence of functions of a finite alphabet. Digital systems are simulated on the logic level of the signals they exchange with external environment. For a system design debugging by simulation it is necessary to generate the set of tests for applying to the simulated system to verify the correctness of functioning. The most productive and economical test set could be generated if a formal description of digital block or system possible input data domain is known. The input data domain structure are analyzed and described for digital blocks and systems with finite alphabet of functions. The formal description of input data domain for each function of digital block or system are proposed. Proposed description has the form of labeled directed graph describing the sequence of input logical signals with timing constrains.

show abstract

Section: Introductionmentioning

confidence: 99%