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

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

Bibliographic Details
Main Author: Tendulkar, Vaibhav Uday
Language:English
Published: Wright State University / OhioLINK 2012
Subjects:
Computer Engineering
Computer Science
Electrical Engineering
Boolean Matching
Formal Equivalence Checking
Boolean Signatures
Behavioral Signatures
Formal Verification
Online Access:http://rave.ohiolink.edu/etdc/view?acc_num=wright1334687848

Internet

http://rave.ohiolink.edu/etdc/view?acc_num=wright1334687848

Similar Items