Demo Data from EDBT 2026 / reviewers in the wild / expert
Yifan Wang 0001
dblp:47/6959-1
· DBLP profile ↗
5ranked-venue papers
1as first author
0since 2021 · last 2014
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 5 · 1 first-authorSoftware engineering, systems software and programming languages · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
3 papers |
Electronic design automation · 88% Integrated circuit design · 12% |
Topics — the 8 heaviest of 9, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation › hardware verification and test
functional verification |
0.3 | 2 | 2014 | A SystemC Virtual Prototyping based Methodology for Multi-Standard SoC Functional Verification · DAC 2014 Modeling Approaches for Functional Verification of RF-SoCs: Limits and Future Requirements · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2009 |
Electronic design automation
hardware verification and test |
0.2 | 1 | 2014 | A SystemC Virtual Prototyping based Methodology for Multi-Standard SoC Functional Verification · DAC 2014 |
Electronic design automation › system-level design
system design methodology |
0.2 | 1 | 2014 | An HDL-Based System Design Methodology for Multistandard RF SoC's · DAC 2014 |
Electronic design automation › system-level design
virtual prototyping |
0.2 | 1 | 2014 | A SystemC Virtual Prototyping based Methodology for Multi-Standard SoC Functional Verification · DAC 2014 |
Electronic design automation › hardware verification and test
hardware verification |
0.2 | 2 | 2014 | Modeling Approaches for Functional Verification of RF-SoCs: Limits and Future Requirements · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2009 An HDL-Based System Design Methodology for Multistandard RF SoC's · DAC 2014 |
Integrated circuit design › analog and mixed-signal circuits
analog/RF circuit design |
0.1 | 1 | 2014 | An HDL-Based System Design Methodology for Multistandard RF SoC's · DAC 2014 |
Electronic design automation › hardware verification and test › functional verification
system-level verification |
0.1 | 1 | 2014 | An HDL-Based System Design Methodology for Multistandard RF SoC's · DAC 2014 |
Integrated circuit design › system-on-chip
system-on-chip design |
0.0 | 1 | 2009 | Modeling Approaches for Functional Verification of RF-SoCs: Limits and Future Requirements · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2009 |
Methods — techniques the papers use, named apart from their topics
top-down and bottom-up design · 0.2systemc · 0.2event-driven simulation · 0.2automatic parameter extraction · 0.2HDL-based design · 0.2event-driven modeling · 0.1baseband modeling · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2014 | An HDL-Based System Design Methodology for Multistandard RF SoC'sabstractMultistandard SoC's including advanced RF and analog circuitry with digital blocks are pervasive in modern IC's. However, the system design and verification methodologies that capture the complexity of multistandard RF SoC's are still limited. In this paper, an HDL design methodology is introduced for multistandard RF SoC's, which covers all the design layers from system design, to automatic extraction of the models from circuits and a systematic top level verification. The offered HDL based design methodology combines top down and bottom up design approaches, and brings the design and verification closer by reflecting the circuits to models automatically via an Automatic Parameter Extraction (APX) tool. System or block level verification is obtained with models automatically by overnight runs, without the need for extra test benches or designer interaction. This enables short term detection of functional errors or performance losses. A first time tape out of a multimode Bluetooth transceiver SoC is designed and fabricated in 8 months by using the offered methodology. The accuracy of the system level simulations show a very good match with the measurement results after fabrication. The test SoC is fabricated with 0.13 μm CMOS technology. Aytac Atac, Zhimiao Chen, Yifan Wang 0001, Martin Schleyer, Ye Zhang 0003, Ralf Wunderlich, Stefan Heinen |
DAC | 4 |
| 2014 | A SystemC Virtual Prototyping based Methodology for Multi-Standard SoC Functional VerificationabstractThis paper describes a functional verification methodology for multi-standard wireless Systems-on-Chip (SoC) based on SystemC Virtual Prototyping (VP). The proposed semiautomatic pin-accurate RF VP generation method reduces huge handcrafting work to abstract circuitry into the event-driven simulation domain with satisfactory accuracy, while enabling the flexibility to choose different abstraction levels. A seamless transition between various signal abstractions is enabled by operator overload, e.g. passband and equivalent baseband in order to minimize simulation time according to test cases. This methodology is demonstrated for a low power RF transceiver with the achieved simulation speed of 500μs in 10s computation time. Zhimiao Chen, Yifan Wang 0001, Ye Zhang 0003, Aytac Atac, Jan Henning Mueller, Ralf Wunderlich, Stefan Heinen |
DAC | 2 |
| 2013 | A 1.7mW quadrature bandpass ΔΣ ADC with 1MHz BW and 60dB DR at 1MHz IFabstractThis paper presents a continuous-time quadrature bandpass ΔΣ ADC that achieves 60dB DR and 67.4dB SFDR at 1MHz BW and 1MHz IF. The modulator uses capacitive feedforward architecture for the 3rdorder loop filter for reduced power consumption and a local feedback loop for optimized noise shaping within the required band. The design is targeted for low power low IF receivers and it achieves a total power consumption of 1.7mW from 1.2V supply. The chip is fabricated with UMC 0.13μm technology. Aytac Atac, Yifan Wang 0001, Martin Schleyer, Ye Zhang 0003, Ralf Wunderlich, Stefan Heinen |
ISCAS | 3 |
| 2009 | Formal approaches to analog circuit verification
Erich Barke, Darius Grabowski, Helmut E. Graeb, Lars Hedrich, Stefan Heinen, Ralf Popp, Sebastian Steinhorst, Yifan Wang 0001 |
DATE | 8 |
| 2009 | Modeling Approaches for Functional Verification of RF-SoCs: Limits and Future RequirementsabstractSince the design and realization of a complex system on a chip is error prone, functional verification should have been a main task in today's design flows but is still underestimated. This paper gives an overview of current modeling approaches to handle functional verification of a design on the top level, prior to tape out. The problems that arise from the different approaches such as baseband modeling and event-driven modeling are explained, and the resulting effects on the simulated system specifications are presented. The necessity of the approaches for future systems, which are not simulatable with current methods, is presented, and the needed extensions of the hardware description languages and simulators are proposed. Yifan Wang 0001, Stefan Joeres, Ralf Wunderlich, Stefan Heinen |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 1 |