Login / Signup
Atif Yasin
ORCID
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 15
Top Topics
Software Requirements
Sat Encodings
Galois Field
Formal Verification
Top Venues
ISVLSI
CoRR
VLSI-SoC
IET Softw.
</>
Publications
</>