搜索结果: 1-4 共查到“Boolean Satisfiability”相关记录4条 . 查询时间(0.129 秒)
Scalable Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
We describe a software error-detection tool that exploits recent advances in boolean satisfiability (SAT) solvers. Our analysis is path sensitive, precise down to the bit level, and models pointers an...
Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
This article presents Saturn, a general framework for building precise and scalable static error detection systems. Saturn exploits recent advances in boolean satisfiability (SAT) solvers and is path ...
Improved Test Pattern Generation for Hardware Trojan Detection using Genetic Algorithm and Boolean Satisfiability
Hardware Trojans Genetic Algorithm Boolean Satisfiability
2016/1/26
Test generation for Hardware Trojan Horses (HTH) detection
is extremely challenging, as Trojans are designed to be triggered by
very rare logic conditions at internal nodes of the circuit. In this p...
An Algebraic Analysis of Trivium Ciphers based on the Boolean Satisfiability Problem
Algebraic Analysis Boolean Satisfiability Trivium
2008/9/4
Trivium is a stream cipher candidate of the eStream project.
It has successfully moved into phase three of the selection process un-
der the hardware category. No attacks faster than the exhaustive ...