23 results on '"GroBe, Daniel"'
Search Results
2. RevSCA-2.0: SCA-Based Formal Verification of Nontrivial Multipliers Using Reverse Engineering and Local Vanishing Removal
3. Exact multiple-control Toffoli network synthesis with SAT techniques
4. System Level Verification of Phase-Locked Loop using Metamorphic Relations
5. Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization
6. Analyzing functional coverage in bounded model checking
7. Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents
8. Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-Coupled Nanotechnologies
9. Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation
10. Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata
11. Towards Reversed Approximate Hardware Design
12. Synchronization of Clocked Field-Coupled Circuits
13. Combining Symbolic Computer Algebra and Boolean Satisfiability for Automatic Debugging and Fixing of Complex Multipliers
14. Natural Language Based Power Domain Partitioning
15. Factors and selenocysteine insertion sequence requirements for the synthesis of selenoproteins from a gram-positive anaerobe in Escherichia coli
16. Equivalence checking using Gröbner bases
17. On the application of formal fault localization to automated RTL-to-TLM fault correspondence analysis for fast and accurate VP-based error effect simulation - a case study
18. BDD minimization for approximate computing
19. Towards automatic scenario generation from coverage information
20. Quantified Synthesis of Reversible Logic
21. SWORD: A SAT like prover using word level information
22. Complete Formal Verification of Multi Core Embedded Systems Using Bounded Model Checking
23. Exact Toffoli Network Synthesis of Reversible Logic Using Boolean Satisfiability
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.