Bijan Alizadeh
From MaRDI portal
Person:2982232
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs IEEE Transactions on Computers | 2017-05-16 | Paper |
| Sequential Equivalence Checking Using a Hybrid Boolean-Word Level Decision Diagram Communications in Computer and Information Science | 2009-05-20 | Paper |
| Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Research outcomes over time
This page was built for person: Bijan Alizadeh
