Handling Nondeterminism in Logic Simulation So That Your Waveform Can Be Trusted Again
Journal
IEEE Design & Test of Computers
Journal Volume
33
Journal Issue
6
Pages
63-71
Date Issued
2016-12
Author(s)
Abstract
This article addresses the problem of nondeterminism due to design optimization such as resetting only parts of the design register. Since formal methods are not scalable, the authors developed a scalable X-analysis method.
SDGs
Type
journal article