5 results on '"Alizadeh, Bijan"'
Search Results
2. Combinational Hybrid Signal Selection With Updated Reachability Lists for Post-Silicon Debug.
3. Incremental SAT-Based Accurate Auto-Correction of Sequential Circuits Through Automatic Test Pattern Generation.
4. Scalable Symbolic Simulation-Based Automatic Correction of Modern Processors.
5. QBF-Based Post-Silicon Debug of Speed-Paths Under Timing Variations.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.