SIMULATION-BASED VERIFICATION OF LOGICAL DESCRIPTIONS WITH FUNCTIONAL INDETERMINACY

Author(s): Cheremisinova Lyudmila Dmitrievna

Rubric: Methodological research

Release: 2016-2 (14)

Pages: 409-416

Keywords: automation of design, verification, simulation

Annotation: The problem of verification of logical descriptions of combinational networks is considered for the case when the initial functional description of the network under design has indeterminacy. The proposed verification approach is based on simulation of еру network functionality for the general case when input stimuli are represented by ternary vectors

Bibliography: Cheremisinova LY.DM. SIMULATION-BASED VERIFICATION OF LOGICAL DESCRIPTIONS WITH FUNCTIONAL INDETERMINACY // Education Resources and Technologies. – 2016. – № 2 (14). – С. 409-416. doi: