6 citations · 17 across the 6 of their papers we have counts for
1 paper · 1 filter
Koen Claessen, Jan-Willem Roorda
Generalised Symbolic Trajectory Evaluation (GSTE) is a high-capacity formal verification technique for hardware. GSTE uses abstraction, meaning that details of the circuit behaviou…