Wenji Fang
  • Bio
  • Research
  • Publication
  • Experience
  • Awards
  • Teaching
  • Recent & Upcoming Talks
    • Example Talk
  • First-Authored Publications
    • A Self-Supervised, Pre-Trained, and Cross-Stage-Aligned Circuit Encoder Provides a Foundation for Various Design Tasks
    • AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs
    • OpenLLM-RTL: Open Dataset and Benchmark for LLM-Aided Design RTL Generation (Invited)
    • Transferable Pre-Synthesis PPA Estimation for RTL Designs With Data Augmentation Techniques
    • Annotating Slack Directly on Your Verilog: Fine-Grained RTL Timing Evaluation for Early Optimization
    • MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design
    • r-map: Relating Implementation and Specification in Hardware Refinement Checking
    • WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification
  • Projects
  • Blog
    • 🎉 Easily create your own simple yet highly customizable blog
    • 🧠 Sharpen your thinking with a second brain
    • 📈 Communicate your results effectively with the best data visualizations
    • 👩🏼‍🏫 Teach academic courses
    • ✅ Manage your projects
  • Projects
    • Hardware Formal Verification
    • VLSI Design Quality Evaluation
    • Circuit Foundation Model
  • Experience
  • Teaching
    • Learn JavaScript
    • Learn Python
  • Publications
    • An example preprint / working paper
    • An example journal article
    • An example conference paper

WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification

Apr 22, 2023·
Wenji Fang
Wenji Fang
,
Hongce Zhang
· 0 min read
PDF Cite Code Slides Video
Type
Conference paper
Publication
In Tools and Algorithms for the Construction and Analysis of Systems
Last updated on Apr 22, 2023
Formal Verification
Wenji Fang
Authors
Wenji Fang
PhD Student
← r-map: Relating Implementation and Specification in Hardware Refinement Checking Jun 1, 2023

© 2024 Me. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.