Then, during the symbolic simulation, these symbols are propagated through both the implemented circuit design and the reference Verilog model, accruing Boolean logic equations for each gate stage ...

As part of our product development, Cisco Systems' high-end core router group routinely integrates error-correcting circuits (ECCs ... This article describes how our design group uses symbolic ...