Personensuche
X
?
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) ,
1
A RISC-V "V" VP: Unlocking Vector Processing for Evaluation..:
, In:
?
2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC) ,
2
Towards a Highly Interactive Design-Debug-Verification Cycl:
, In:
?
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) ,
3
Using Formal Verification Methods for Optimization of Circu..:
, In:
?
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) ,
4
Improving Design Understanding of Processors leveraging Dat..:
, In:
?
2023 Forum on Specification & Design Languages (FDL) ,
5
Enhancing Compiler-Driven HDL Design with Automatic Wavefor..:
, In:
?
2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) ,
6
An Exploration Platform for Microcoded RISC-V Cores leverag..:
, In:
?
2022 Formal Methods in Computer-Aided Design (FMCAD) ,
8
Divider Verification Using Symbolic Computer Algebra and De..:
, In:
?
2019 24th Asia and South Pacific Design Automation Conference (ASP-DAC) ,
9
Maximizing Power State Cross Coverage in Firmware-based Pow..:
, In:
?
2019 22nd Euromicro Conference on Digital System Design (DSD) ,
10
Towards Formal Verification of Plans for Cognition-Enabled ..:
, In:
?
2019 Forum for Specification and Design Languages (FDL) ,
11
Functional Coverage-Driven Characterization of RF Amplifier:
, In:
?
2019 24th Asia and South Pacific Design Automation Conference (ASP-DAC) ,
12