1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering

Formal and Semi - Formal Verification Methods with Constrained Random Testbenches Collection home page

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

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1
Issue DateTitleAuthor(s)
2009-01Formal and Semi - Formal Verification Methods with Constrained Random TestbenchesPal, Bhaskar
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1

Discover

Author
Subject
Date issued
Has File(s)