E-LIB Suche - Ergebnisse für: Fang, Wenji

1

WASIM: A Word-level Abstract Symbolic Simulation Framework ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Fang, Wenji ; Zhang, Hongce - p. 11-18 , 2023

Link: https://doi.org/10.1007/..

2

An integrated single-shot spectrometer with large bandwidth..:

Li, Ang ; Wang, Chang ; Bao, Feixia...
PhotoniX. 4 (2023) 1 - p. , 2023

Link: https://doi.org/10.1186/..

3

MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any..:

, In: 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD),

Fang, Wenji ; Lu, Yao ; Liu, Shang... - p. 1-9 , 2023

Link: https://doi.org/10.1109/..

4

r-map: Relating Implementation and Specification in Hardwar..:

Fang, Wenji ; Hu, Guangyu ; Zhang, Hongce
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 42 (2023) 12 - p. 5113-5126 , 2023

Link: https://doi.org/10.1109/..

5

SpecLLM: Exploring Generation and Review of VLSI Design Spe..:

Li, Mengming ; Fang, Wenji ; Zhang, Qijun.
http://arxiv.org/abs/2401.13266. , 2024

Link: http://arxiv.org/abs/240..

6

AssertLLM: Generating and Evaluating Hardware Verification ..:

Fang, Wenji ; Li, Mengming ; Li, Min...
http://arxiv.org/abs/2402.00386. , 2024

Link: http://arxiv.org/abs/240..

7

RTLCoder: Outperforming GPT-3.5 in Design RTL Generation wi..:

Liu, Shang ; Fang, Wenji ; Lu, Yao...
http://arxiv.org/abs/2312.08617. , 2023

Link: http://arxiv.org/abs/231..

8

MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any..:

Fang, Wenji ; Lu, Yao ; Liu, Shang...
http://arxiv.org/abs/2311.08441. , 2023

Link: http://arxiv.org/abs/231..

9

WASIM: A Word-level Abstract Symbolic Simulation Framework ..:

FANG Wenji ; ZHANG Hongce
doi:10.5281/zenodo.7247146. , 2022

Link: https://zenodo.org/recor..

10

An integrated single-shot spectrometer with large bandwidth..:

Ang Li ; Chang Wang ; Feixia Bao...
https://doi.org/10.1186/s43074-023-00109-0. , 2023

Link: https://doi.org/10.1186/..

11

fangwenji/tacas23-wasim: Artifact-TACAS23:

Wenji Fang ; Hongce Zhang
https://github.com/fangwenji/tacas23-wasim/tree/v1.0.0. , 2023

Link: https://zenodo.org/recor..

12

Quantitative analysis of chlorophyll in Catalpa bungei leav..:

Lv, Siyu ; Wang, Junhui ; Wang, Shanshan...
Scientia Horticulturae. 329 (2024) - p. 113019 , 2024

Link: https://doi.org/10.1016/..

13

Diagnostic status and epidemiological characteristics of co..:

Liu, Juan-Juan ; Xu, Zhi-Wei ; Xu, Hui-Qing...
BMC Pediatrics. 24 (2024) 1 - p. , 2024

Link: https://doi.org/10.1186/..

14

Topological edge and corner states of valley photonic cryst..:

Shen 沈, Yun-Feng 云峰 ; Xu 许, Xiao-Fang 孝芳 ; Sun 孙, Ming 铭..
Chinese Physics B. 33 (2024) 4 - p. 044203 , 2024

Link: https://doi.org/10.1088/..

15

Single-crystal-based excitation wavelength dependent fluore..:

Zhou, Jia-Jun ; Du, Xianchao ; Wang, Wenji...
Journal of Luminescence. 273 (2024) - p. 120692 , 2024

Link: https://doi.org/10.1016/..