Enhanced Vacuity Detection in Linear Temporal Logic von Armoni, Roy, Fix, Limor, Flaisher, Alon, Grumberg, Orna, Piterman, Nir, Tiemeyer, Andreas, Vardi, Moshe Y.

Volltext

The ForSpec Temporal Logic: A New Temporal Property-Specification Language von Armoni, Roy, Fix, Limor, Flaisher, Alon, Gerth, Rob, Ginsburg, Boris, Kanza, Tomer, Landver, Avner, Mador-Haim, Sela, Singerman, Eli, Tiemeyer, Andreas, Vardi, MosheY, Zbar, Yael

Volltext

Design-Intent Coverage-A New Paradigm for Formal Property Verification von Basu, P., Das, S., Banerjee, A., Dasgupta, P., Chakrabarti, P.P., Mohan, C.R., Fix, L., Armoni, R.

Volltext

Methods for automatic engineering change order (ECO) bug fixing in integrated circuit design von Davidi, Or, Armoni, Roy

Volltext bestellen

SVA and PSL Local Variables - A Practical Approach von Armoni, Roy, Fisman, Dana, Jin, Naiyong

Volltext

Methods for Automatic Engineering Change Order (ECO) Bug Fixing in Integrated Circuit Design von Davidi, Or, Armoni, Roy

Volltext bestellen

Checking equivalence between changes made in a circuit definition language and changes in post-synthesis nets von Davidi, Or, Armoni, Roy

Volltext bestellen

Method and apparatus for finding logic equivalence between register transfer level and post synthesis nets von Davidi, Or, Armoni, Roy

Volltext bestellen

SAT-based Induction for Temporal Safety Properties von Armoni, Roy, Fix, Limor, Fraer, Ranan, Huddleston, Scott, Piterman, Nir, Vardi, Moshe Y.

Volltext

On the Derandomization of Space-Bounded Computations von Armoni, Roy

Volltext

METHOD AND APPARATUS FOR FINDING LOGIC EQUIVALENCE BETWEEN REGISTER TRANSFER LEVEL AND POST SYNTHESIS NETS von ARMONI, Roy, DAVIDI, Or

Volltext bestellen

Method and apparatus for improving Boolean satisfiability solver generated based on input design with data qualifier signals von Meller, Yael, Davidi, Or, Armoni, Roy

Volltext bestellen

Deterministic Dynamic Monitors for Linear-Time Assertions von Armoni, Roy, Korchemny, Dmitry, Tiemeyer, Andreas, Vardi, Moshe Y., Zbar, Yael

Volltext

An O(log(n)(4/30)) space algorithm for (s,t) connectivity in undirected graphs von Armoni, Roy, Ta-Shma, Annon, Wigderson, Avi, Zhou, Shiyu

Volltext

METHOD AND APPARATUS FOR IMPROVING BOOLEAN SATISFIBILITY SOLVER GENERATED BASED ON INPUT DESIGN WITH DATA QUALIFIER SIGNALS von MELLER, Yael, ARMONI, Roy, DAVIDI, Or

Volltext bestellen

Resets vs. Aborts in Linear Temporal Logic von Armoni, Roy, Bustan, Doron, Kupferman, Orna, Vardi, MosheY

Volltext

METHOD AND APPARATUS FOR GAME PHYSICS CONCURRENT COMPUTATIONS von AXELROD RAMON, ARMONI ROY

Volltext bestellen

An O (log( n ) 4/3 ) space algorithm for ( s, t ) connectivity in undirected graphs von Armoni, Roy, Ta-Shma, Amnon, Widgerson, Avi, Zhou, Shiyu

Volltext

Formal verification of temporal properties expressed using local variables von JIN NAIYONG, ARMONI ROY, OFEK DANA FISMAN

Volltext bestellen

An O Connectivity in Undirected Graphs von ARMONI, ROY, TA-SHMA, AMNON, WIGDERSON, AVI, ZHOU, SHIYU

Volltext