Search Results - Val, Celina G.

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog

    Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog by Cheng, An-Che, Yen, Chia-Chih (Jack), Val, Celina G., Bayless, Sam, Hu, Alan J., Jiang, Iris Hui-Ru, Jou, Jing-Yang

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: