Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Electrical Engineering / 電機工程學系
Solving Constraint Satisfiability Problem For Automatic Generation of Design Verification Vectors
Details
Solving Constraint Satisfiability Problem For Automatic Generation of Design Verification Vectors
Date Issued
2006-07
Author(s)
CHUNG-YANG HUANG
URI
http://scholars.lib.ntu.edu.tw/handle/123456789/325602
Type
patent
