![]() | ![]() |
2009 | ||
---|---|---|
1 | EE | Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti: Inline Assertions - Embedding Formal Properties in a Test Bench. VLSI Design 2009: 71-76 |
1 | P. P. Chakrabarti (Partha Pratim Chakrabarti) | [1] |
2 | Pallab Dasgupta | [1] |
3 | Aritra Hazra | [1] |