Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Neeraj Kr.
DUT Verification Through an Efficient and Reusable Environment With Optimum Assertion and Functional Coverage in SystemVerilog
International Journal of Advanced Computer Science and Applications
Computer Science
Related publications
Wu’s Characteristic Set Method for SystemVerilog Assertions Verification
Journal of Applied Mathematics
Applied Mathematics
An Efficient and Reusable Palladium Nanocatalyst in C-C Bond Forming Cross-Coupling Reactions
Synthesis of Hexabenzylhexaazaisowurtzitane (HBIW) Under Ultrasound Irradiation With Fe3O4@PCA Nanoparticles as an Efficient and Reusable Nanomagnetic Catalyst
Central European Journal of Energetic Materials
Organic Chemistry
Materials Chemistry
Concurrency-Oriented Verification and Coverage of System-Level Designs
ACM Transactions on Design Automation of Electronic Systems
Computer Science Applications
Electronic Engineering
Computer Graphics
Electrical
Computer-Aided Design
Efficient Boustrophedon Multi-Robot Coverage: An Algorithmic Approach
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Biological Production of an Integrinαvβ3 Targeting Imaging Probe and Functional Verification
BioMed Research International
Immunology
Molecular Biology
Biochemistry
Microbiology
Medicine
Genetics
Implementation Research: An Efficient and Effective Tool to Accelerate Universal Health Coverage
International Journal of Health Policy and Management
Health Information Management
Management
Monitoring
Health Policy
Leadership
Health
Policy
Law
An Efficient VBA Spreadsheet Algorithm and Model for the System Optimum Traffic Assignment
International Journal of Applied Industrial Engineering
Criticism and Blame in Action and Assertion
The Journal of Philosophy
Philosophy
