3 citations · 3 across the 1 of their papers we have counts for
2 papers
eess.SY2020★ 3 cited
System-on-Chip Security Assertions
Yangdi Lyu, Prabhat Mishra
Assertions are widely used for functional validation as well as coverage analysis for both software and hardware designs. Assertions enable runtime error detection as well as faste…
cs.CG2016
A Fast 2-Approximation Algorithm for Guarding Orthogonal Terrains
Yangdi Lyu, Alper Üngör
Terrain Guarding Problem(TGP), which is known to be NP-complete, asks to find a smallest set of guard locations on a terrain such that every point on is visible by a guard.…