Sign in

Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor.

Nikolaos Ioannis DeligiannisRiccardo CantoroTobias FallerTobias PaxianBernd BeckerMatteo Sonza Reorda
Published in: ATS (2021)
Keyphrases
  • hidden markov models
  • high speed
  • learning algorithm
  • multi agent systems
  • search space
  • evolutionary algorithm
  • logic programs
  • parallel processing
  • answer set programming
  • functional verification