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]
@article{DasguptaSM14, title = {Formal Hardware/Software Co-Verification of Embedded Power Controllers}, author = {Pallab Dasgupta and Mandayam K. Srivas and Rajdeep Mukherjee}, year = {2014}, doi = {10.1109/TCAD.2014.2354297}, url = {http://dx.doi.org/10.1109/TCAD.2014.2354297}, researchr = {https://researchr.org/publication/DasguptaSM14}, cites = {0}, citedby = {0}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, volume = {33}, number = {12}, pages = {2025-2029}, }