![]() | ![]() |
| 2011 | ||
|---|---|---|
| 3 | Subhankar Mukherjee, Pallab Dasgupta: Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions. VLSI Design 2011: 52-57 | |
| 2 | Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay: Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions. IEEE Trans. on CAD of Integrated Circuits and Systems 30(10): 1446-1457 (2011) | |
| 2009 | ||
| 1 | Subhankar Mukherjee, Antara Ain, S. K. Panda, Rajdeep Mukhopadhyay, Pallab Dasgupta: A formal approach for specification-driven AMS behavioral model generation. DATE 2009: 1512-1517 | |
| 1 | Antara Ain | [1] |
| 2 | Pallab Dasgupta | [1] [2] [3] |
| 3 | Rajdeep Mukhopadhyay | [1] |
| 4 | Siddhartha Mukhopadhyay | [2] |
| 5 | S. K. Panda | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page