University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 721–750 of 46,051 items
Thumbnail for Parallel-Concurrent Versus Concurrent Fault Simulation
Parallel-Concurrent Versus Concurrent Fault Simulation
Saab, Daniel Georges; Rahmeh, Joseph T.; Hajj, Ibrahim N.

Thumbnail for A Formal Executable Semantics of Verilog
A Formal Executable Semantics of Verilog
Meredith, Patrick; Katelman, Michael; Meseguer, José; Rosu, Grigore

Thumbnail for Recommendations for stabilization of Illinois soils
Recommendations for stabilization of Illinois soils
Robnett, Quentin Laverne; Thompson, Marshall R.

Thumbnail for Evaluating Code Coverage of Assertions by Static Analysis of RTL
Evaluating Code Coverage of Assertions by Static Analysis of RTL
Athavale, Viraj; Hertz, Samuel; Vasudevan, Shobha