Functional vector generation for HDL models using linear programming and Boolean satisfiability
Fallah, F., Devadas, S., Keutzer, K.Volume:
20
Year:
2001
Language:
english
DOI:
10.1109/43.936380
File:
PDF, 144 KB
english, 2001