Roy Armoni

AVPGEN-A test generator for architecture verification

Ashok K. Chandra, V. Iyengar, David H. Jameson et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1995 · 73 citations

Engineering, Hardware Verification Language, Verification +22

Discrepancy sets and pseudorandom generators for combinatorial rectangles

Roy Armoni, Michael Saks, Avi Wigderson et al. · 2002 · 41 citations

Mathematical Programming, Common Subproblem, Sample Space +15

SAT-based Induction for Temporal Safety Properties

Roy Armoni, Limor Fix, Ranan Fraer et al. · Electronic Notes in Theoretical Computer Science · 2005 · 29 citations · Full text

Engineering, Sat-based Induction, Verification +21

An <i>O</i> (log( <i>n</i> ) ^4/3 ) space algorithm for ( <i>s, t</i> ) connectivity in undirected graphs

Roy Armoni, Amnon Ta‐Shma, Avi Widgerson et al. · Journal of the ACM · 2000 · 26 citations · Full text

Directed Graph, Engineering, Network Analysis +19

<i>SL</i> ⊆<i>L</i>^4/3

Roy Armoni, Amnon Ta‐Shma, Avi Wigderson et al. · 1997 · 24 citations · Full text