Deebakkarthi Chinnasame Rani

• Academics
• Research
• Projects
• Misc.

• Recent posts
• 2026-06-06 ”Have I Written Enough Properties?” - A Method of Comparison Between Specification and Implementation
• 2026-06-06 On reusability of verification assertions for testing
• 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
• 2026-06-06 A Survey on Automatic Assertion Miners
• 2026-06-06 A Survey on Automatic Assertion Miners - References
• 2026-06-05 GoldMine: Automatic assertion generation using data mining and static analysis
• 2026-06-05 Automatic Generation of Complex Properties for Hardware Designs
• 2026-06-05 IODINE: a tool to automatically infer dynamic invariants for hardware designs
• See archive...
• Tags
• rss

---