Login / Signup
Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming.
Tun Li
Yang Guo
GongJie Liu
Sikun Li
Published in:
DSD (2005)
Keyphrases
</>
constraint logic programming
constraint solving
logic programming language
constraint programming
answer set programming
general purpose
logic programming
search algorithm
data model
shortest path
data mining
expert systems
worst case
logic programs
constraint propagation