Author:
Mitra Srobona,Banerjee Ansuman,Dasgupta Pallab,Ghosh Priyankar,Kumar Harish
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Techniques to Verify Functionality of Digital Memory Decoder;2023 International Conference on Sustainable Computing and Smart Systems (ICSCSS);2023-06-14
2. Model Checking Leveraged Error Localization for Complex RTL Designs;2022 IEEE 40th International Conference on Computer Design (ICCD);2022-10
3. Automated planning for finding alternative bug traces;IET Computers & Digital Techniques;2020-09-18
4. EvoDeb: Debugging Evolving Hardware Designs;2015 28th International Conference on VLSI Design;2015-01