Deebakkarthi Chinnasame Rani

• Academics
• Research
• Projects
• Misc.

• Recent posts
• 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
• 2026-06-05 Automatic generation of assertions for formal verification of PowerPC/sup TM /microprocessor arrays using symbolic trajectory evaluation
• 2026-06-05 Block-based Schema-driven Assertion Generation for Functional Verification
• 2026-06-05 Assertion-based design
• 2026-06-05 HARM: A Hint-Based Assertion Miner
• 2026-06-05 Reference Searching
• 2026-06-05 Current CVA6 verification strategy
• 2026-06-04 Deadlift - Brain Alsruhe
• See archive...
• Tags
• rss

---