Concepedia

Sayanlan Das

SD

Statistics

Publications

1

Citations

22

H-Index

1

Active since

2005

Affiliations

Indian Institute of Technology Kharagpur(Current)

Sayanlan Das is an author at Indian Institute of Technology Kharagpur specializing in assertion-based verification, assertion coverage, and computer science.

Publications per year

2005–2005

1

Publications

1

Formal methods for analyzing the completeness of an assertion suite against a high-level fault model

Sayanlan Das, Ansuman Banerjee, Prasenjit Basu et al. · 2005 · 22 citations

Computing, Computer Engineering, Computer Science +15

1–1 of 1