Sign in

Silicon validation of LUT-based logic-locked IP cores.

Gaurav KolheTyler SheavesKevin Immanuel GubbiTejas KadaleSetareh RafatiradSai Manoj PDAvesta SasanHamid MahmoodiHouman Homayoun
Published in: DAC (2022)
Keyphrases
  • low cost
  • classical logic
  • high speed
  • multi valued
  • logic programming
  • proof theory
  • real time
  • high density
  • lookup table
  • model validation