Pallab Dasgupta, Mandayam K. Srivas, Rajdeep Mukherjee. Formal Hardware/Software Co-Verification of Embedded Power Controllers. IEEE Trans. on CAD of Integrated Circuits and Systems, 33(12):2025-2029, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.