9 results on '"Alizadeh, Bijan"'
Search Results
2. Incremental SAT-Based Correction of Gate Level Circuits by Reusing Partially Corrected Circuits.
3. PMTP: A MAX-SAT-Based Approach to Detect Hardware Trojan Using Propagation of Maximum Transition Probability.
4. Combinational Hybrid Signal Selection With Updated Reachability Lists for Post-Silicon Debug.
5. A Dynamic Timing Error Avoidance Technique Using Prediction Logic in High-Performance Designs.
6. Incremental SAT-Based Accurate Auto-Correction of Sequential Circuits Through Automatic Test Pattern Generation.
7. Scalable Symbolic Simulation-Based Automatic Correction of Modern Processors.
8. QBF-Based Post-Silicon Debug of Speed-Paths Under Timing Variations.
9. Modular Datapath Optimization and Verification Based on Modular-HED.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.