NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 1 of 1 (0.06 seconds)

Spelling suggestions: "subject:"boolean catching"" "subject:"boolean batching""

1

Behavioral Signature-based Framework for Identifying Unsatisfiable Variable Mappings between Digital Designs

Tendulkar, Vaibhav Uday 18 April 2012 (has links)
No description available.
Computer Engineering
Computer Science
Electrical Engineering
Boolean Matching
Formal Equivalence Checking
Boolean Signatures
Behavioral Signatures
Formal Verification

Page generated in 0.0629 seconds