IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Formal and Semi - Formal Verification Methods with Constrained Random Testbenches

Formal and Semi - Formal Verification Methods with Constrained Random Testbenches

Browse by

By Issue Date
Authors
Titles
Subjects

Author : Bhaskar Pal
Guide : Dr. Pallab Dsagupta and Prof. Partha Pratim Chakraborti
Department of Computer Science and Engineering Indian Institute of Technology Kharagpur, Jan 2009

Recent Submissions

Formal and Semi - Formal Verification Methods with Constrained Random Testbenches

Pal, Bhaskar (IIT Kharagpur, 2009-01)

Search DSpace

Advanced Search

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Discover

Author
- Pal, Bhaskar (1)
Subject
- Testbenches (1)
- ... View More
Date Issued
- 2009 (1)
Has File(s)
- Yes (1)

RSS Feeds

RSS 1.0
RSS 2.0
Atom

Formal and Semi - Formal Verification Methods with Constrained Random Testbenches

Formal and Semi - Formal Verification Methods with Constrained Random Testbenches

Browse by

Recent Submissions

Search DSpace

Browse

All of DSpace

This Collection

My Account

Discover

Author

Subject

Date Issued

Has File(s)

RSS Feeds