2 search results - page 1 / 1 » A Circuit SAT Solver With Signal Correlation Guided Learning |
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
— Boolean Satistifiability has attracted tremendous research effort in recent years, resulting in the developments of various efficient SAT solver packages. Based upon their de...
ASPDAC
2005
ACM
13 years 6 months ago
2005
ACM
Recent research results have shown that the traditional structural testing for delay and crosstalk faults may result in over-testing due to the non-trivial number of such faults t...