Symbolic Ternary Simulation
TechniqueFirst seen 6/18/2026
Last seen 6/18/2026
Evidence 5 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
3 connections Verification of Pipelined Microprocessors by Correspondence Checking in Symbolic Ternary Simulation ← uses 100% 2e
The paper employs symbolic ternary simulation as its core verification technique.
Symbolic ternary simulation combines ternary modeling with symbolic simulation.
Symbolic ternary simulation uses the EMM to model memory arrays efficiently.