Prasenjit Basu

Samsung Electronics, South Korea - Gyeonggi / South Korea

Others

AD Scientific Index ID: 4520616

삼성전자, 한국

Registration, Add Profile,
Premium Membership

Print Your Certificate

Prasenjit Basu's MOST POPULAR ARTICLES

1-) Formal methods for analyzing the completeness of an assertion suite against a high-level fault modelS Das, A Banerjee, P Basu, P Dasgupta, PP Chakrabarti, CR Mohan, ...18th International Conference on VLSI Design held jointly with 4th …, 2005292005

2-) Design-intent coverage—A new paradigm for formal property verificationP Basu, S Das, A Banerjee, P Dasgupta, PP Chakrabarti, CR Mohan, ...IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006202006

3-) Formal verification coverage: computing the coverage gap between temporal specificationsA Das, P Basu, A Banerjee, P Dasgupta, PP Chakrabarti, CR Mohan, ...IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 …, 2004152004

4-) Cardiomegaly following extensive burnsGD Mukherjee, PG Basu, S Roy, M SealAnnals of plastic surgery 19 (4), 378-380, 1987131987

5-) Sat based solutions for consistency problems in formal property specifications for open systemsS Roy, S Das, P Basu, P Dasgupta, PP ChakrabartiICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005 …, 2005102005

ARTICLES

Add your articles