Concepedia

Feijun Zheng

FZ

3

Publications

74

Citations

3

H-Index

2007

Active since

Affiliations

University of California, Santa Barbara(Current)

Zhejiang University

Feijun Zheng is an author at University of California, Santa Barbara specializing in computer engineering, formal methods, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationComputer Engineering

Publications per year

2007–2023

3

Publications

3

RTL Error Diagnosis Using a Word-Level SAT-Solver

S. Mirzaeian, Feijun Zheng, Kwang‐Ting Cheng · 2008 · 33 citations

Engineering, Verification, Software Engineering +19

An Efficient Diagnostic Test Pattern Generation Framework Using Boolean Satisfiability

Feijun Zheng, Kwang‐Ting Cheng, Xiaolang Yan et al. · 2007 · 28 citations

Engineering, Verification, Diagnosis +23

A 30-μW 94.7-dB SNDR Noise-Shaping Current-Mode Direct-to-Digital Converter Using Triple-Slope Quantizer for PPG/NIRS Readout

Mengyu Li, Shuang Song, Dehong Wang et al. · IEEE Journal of Solid-State Circuits · 2023 · 13 citations

Rows per page

1–3 of 3