Personal information

Activities

Collapse all

Works (2)

MetRex: A Benchmark for Verilog Code Metric Reasoning Using LLMs

2025-01-20 | Conference paper
DOI: 10.1145/3658617.3697625
Contributors: Manar Abdelatty; Jingxiao Ma; Sherief Reda
Source: check_circle
Crossref

Approximate Logic Synthesis Using Boolean Matrix Factorization

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2022-01 | Journal article
DOI: 10.1109/TCAD.2021.3054603
Contributors: Jingxiao Ma; Soheil Hashemi; Sherief Reda
Source: check_circle
Crossref
How many people are using ORCID?