Login / Signup
Wenmian Hua
ORCID
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 3
2025
2016
Top Topics
2025
2016
Deontic Logic
2025
2016
Asynchronous Circuits
2025
2016
Proof Theory
2025
2016
Open Source Software
Top Venues
IEEE Des. Test
ASYNC
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
Samira Ataei
,
Wenmian Hua
,
Yihang Yang
,
Rajit Manohar
,
Yi-Shan Lu
,
Jiayuan He
,
Sepideh Maleki
,
Keshav Pingali
An Open-Source EDA Flow for Asynchronous Logic.
IEEE Des. Test
38 (2) (2021)
Wenmian Hua
,
Yi-Shan Lu
,
Keshav Pingali
,
Rajit Manohar
Cyclone: A Static Timing and Power Engine for Asynchronous Circuits.
ASYNC
(2020)
Wenmian Hua
,
Rajit Manohar
Exact Timing Analysis for Asynchronous Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
37 (1) (2018)