Deebakkarthi Chinnasame Rani

• Academics
• Research
• Projects
• Misc.

• Recent posts
• 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
• 2026-06-09 Meeting
• 2026-06-06 ”Have I Written Enough Properties?” - A Method of Comparison Between Specification and Implementation
• 2026-06-06 Enhancing Assertion-Based Verification in Hardware Designs through Data Mining Algorithms
• 2026-06-06 Robustness and Usability in Modern Design Flows
• 2026-06-06 Generating Hardware Assertion Checkers
• See archive...
• Tags
• rss

---