Login / Signup
Nursultan Kabylkas
ORCID
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Predicate Logic
Chip Design
Verification Method
Lower Bound
Top Venues
MICRO
CoRR
</>
Publications
</>
Nursultan Kabylkas
,
Tommy Thorn
,
Shreesha Srinath
,
Polychronis Xekalakis
,
Jose Renau
Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation.
MICRO
(2021)
Akash Sridhar
,
Nursultan Kabylkas
,
Jose Renau
Load Driven Branch Predictor (LDBP).
CoRR
(2020)