7 results on '"Alizadeh, Bijan"'
Search Results
2. A comparative study of machine learning classifiers for secure RF-PUF-based authentication in internet of things
3. Data-path aware high-level ECO synthesis
4. A dynamic specification to automatically debug and correct various divider circuits
5. Analytical performance model for FPGA-based reconfigurable computing
6. Groebner basis based formal verification of large arithmetic circuits using Gaussian elimination and cone-based polynomial extraction
7. Formal equivalence verification and debugging techniques with auto-correction mechanism for RTL designs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.