Concepedia

Wenmian Hua

WH

Statistics

Publications

2

Citations

31

H-Index

2

Active since

2017

Affiliations

Yale University(Current)

Wenmian Hua is an author at Yale University specializing in asynchronous circuits, formal methods, and computer engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceParallel ComputingFormal VerificationComputer EngineeringAsynchronous CircuitsComputer ArchitectureVerificationDigital Design

Publications per year

2017–2021

2

Publications

2

An Open-Source EDA Flow for Asynchronous Logic

Samira Ataei, Wenmian Hua, Yihang Yang et al. · IEEE Design and Test · 2021 · 18 citations

Engineering, Electronic Design Automation, Verification +19

Exact Timing Analysis for Asynchronous Systems

Wenmian Hua, Rajit Manohar · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2017 · 13 citations

Engineering, Computer Architecture, Exact Timing Analysis +17

1–2 of 2