Sigal Asaf

A Framework for the Validation of Processor Architecture Compliance

Allon Adir, Sigal Asaf, Laurent Fournier, 2007, 2007 44th ACM/IEEE Design Automation Conference.

Solving range constraints for binary floating-point instructions

Avi Ziv, Sigal Asaf, Merav Aharoni, 2003, Proceedings 2003 16th IEEE Symposium on Computer Arithmetic.

Applying Constraint Programming to Identification and Assignment of Service Professionals

Julio Ortega, Yossi Richter, Sigal Asaf, 2010, CP.

Defining coverage views to improve functional coverage analysis

Avi Ziv, Sigal Asaf, Eitan Marcus, 2004, Proceedings. 41st Design Automation Conference, 2004..

Multi-value Classification of Ambiguous Personal Data

Micha Moffie, Sigal Asaf, Ariel Farkash, 2019, MEDI Workshops.

Views to Improve Functional Coverage Analysis

Avi Ziv, Sigal Asaf, Eitan Marcus, 2004 .

FPgen - a test generation framework for datapath floating-point verification

Sigal Asaf, Laurent Fournier, Merav Aharoni, 2003, Eighth IEEE International High-Level Design Validation and Test Workshop.

Solving constraints on the invisible bits of the intermediate result for floating-point verification

Sigal Asaf, Merav Aharoni, Ilan Nehama, 2005, 17th IEEE Symposium on Computer Arithmetic (ARITH'05).

Next Generation Data Masking Engine

Micha Moffie, Sigal Asaf, Ariel Farkash, 2021, DPM/CBT@ESORICS.

FPgen-A Deep-Knowledge Test-Generator for Floating Point Verification

Sigal Asaf, Laurent Fournier, L. Fournier, 2002 .