Deebakkarthi Chinnasame Rani

• Academics
• Research
• Projects
• Misc.

• Recent posts
• 2026-06-16 General Flow
• 2026-06-16 Combining Section 5 and Section 6
• 2026-06-14 Mining Hardware Assertions With Guidance From Static Analysis
• 2026-06-13 2024 Wilson Research Group IC/ASIC functional verification trend report
• 2026-06-13 HARM: A Hint-Based Assertion Miner
• 2026-06-11 On reusability of verification assertions for testing
• 2026-06-11 Specification and Formal Verification of Hardware–Software Contracts for High-Assurance Computer Architectures
• 2026-06-11 Automatic generation of assertions for formal verification of PowerPC/sup TM /microprocessor arrays using symbolic trajectory evaluation
• 2026-06-11 Assertion-based design
• 2026-06-11 Periscope Writing Ideas
• See archive...
• Tags
• rss

---