1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2026
Optimal Software Pipelining using an SMT-Solver
Jan-Willem Roorda
Software Pipelining is a classic and important loop-optimization for VLIW processors. It improves instruction-level parallelism by overlapping multiple iterations of a loop and exe…
cs.LO2009★ 1 cited
A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
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…