Satisfiability Don't Care condition based circuit fingerprinting techniques.
Carson DunbarGang QuPublished in: ASP-DAC (2015)
Keyphrases
- satisfiability problem
- sufficient conditions
- long term
- high speed
- propositional logic
- computational complexity
- np complete
- transient response
- health care
- phase transition
- circuit design
- digital circuits
- electronic circuits
- analog vlsi
- low cost
- np hard
- multimedia
- sat problem
- analog circuits
- home care
- quantified boolean formulas
- data sets