AI helps you reading Science
AI generates interpretation videos
AI extracts and analyses the key points of the paper to generate videos automatically
AI parses the academic lineage of this thesis
SAT-Lancer: A Hardware SAT-Solver for Self-Verification.
ACM Great Lakes Symposium on VLSI, pp.479-482, (2018)
To close the ever widening verification gap, new powerful solutions are strictly required. One such promising approach aims in continuing verification tasks after production of a chip during its lifetime. This approach is called self-verification. However, for realizing self-verification tasks on-chip, verification packages have to be dev...More
PPT (Upload PPT)